✦ LIBER ✦

Local model checking and protocol analysis

✍ Scribed by Xiaoqun Du; Scott A. Smolka; Rance Cleaveland

Publisher: Springer
Year: 1999
Tongue: English
Weight: 317 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050031

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining Local and Global Model Checkin

Combining Local and Global Model Checking

✍ Armin Biere; Edmund M. Clarke; Yunshan Zhu 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 658 KB

The veri cation process of reactive systems in local model checking 1,7] and in explicit state model checking 13,15] is on-the-y. Therefore only those states of a system have to be traversed that are necessary to prove a property. In addition, if the property does not hold, than often only a small s

Analysing a stream authentication protoc

Analysing a stream authentication protocol using model checking

✍ Philippa Hopcroft; Gavin Lowe 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 263 KB

A graphical μ-calculus and local model c

A graphical μ-calculus and local model checking

✍ Huimin Lin 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 556 KB

Local model checking for infinite state

Local model checking for infinite state spaces

✍ Julian Bradfield; Colin Stirling 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 971 KB

Local Distributed Model Checking of Reg

Local Distributed Model Checking of Reg CTL

✍ Tomáš Brázdil; Ivana Černá 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 206 KB

Model Checking Data Consistency for Cach

Model Checking Data Consistency for Cache Coherence Protocols

✍ Hong Pan; Hui-Min Lin; Yi Lv 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 433 KB