✦ LIBER ✦

Efficient model checking of PSL safety properties

✍ Scribed by Launiainen, T.; Heljanko, K.; Junttila, T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking of Safety Properties

✍ Orna Kupferman; Moshe Y. Vardi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 177 KB

Accelerating Bounded Model Checking of S

✍ Ofer Strichman 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 336 KB

Efficient Detection of Vacuity in Tempor

✍ Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 93 KB

Efficient monitoring of safety propertie

✍ Klaus Havelund; Grigore Roşu 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 360 KB

Efficient reduction of finite state mode

✍ Viktor Schuppan; Armin Biere 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 506 KB

Model checking of safety-critical softwa

✍ J. Lahtinen; J. Valkonen; K. Björkman; J. Frits; I. Niemelä; K. Heljanko 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 637 KB