✦ LIBER ✦

Timed state space exploration using POSETs

✍ Scribed by Belluomini, W.; Myers, C.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dynamic state space partitioning for ext

✍ Evangelista, Sami; Kristensen, Lars Michael 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Exploring very large state spaces using

✍ Patrice Godefroid; Sarfraz Khurshid 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 303 KB

Timed state space analysis of real-time

✍ Bucci, G.; Fedeli, A.; Sassoli, L.; Vicario, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 740 KB

The sweep-line state space exploration m

✍ Kurt Jensen; Lars M. Kristensen; Thomas Mailund 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 527 KB

Partial-Order Reduction in Symbolic Stat

✍ R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 164 KB

Measuring and Evaluating Parallel State-

✍ Jonathan Ezekiel; Gerald Lüttgen 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 334 KB