✦ LIBER ✦

Partitioned PLTL model-checking for refined transition systems

✍ Scribed by J. Julliand; P.-A. Masson; E. Oudot

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking action system refinements

✍ Graeme Smith; Kirsten Winter 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 691 KB

Simulation Machines for Checking Action

✍ Graeme Smith; Kirsten Winter 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 327 KB

On using data abstractions for model che

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Abstraction for model checking multi-age

✍ Zhou, Conghua ;Sun, Bo ;Liu, Zhifeng 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 240 KB

An efficient approach for abstraction-re

✍ Tian, Cong; Duan, Zhenhua; Zhang, Nan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 597 KB

Partitioning Interpolant-Based Verificat

✍ Cabodi, G.; Garcia, L.A.; Murciano, M.; Nocco, S.; Quer, S. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 694 KB