𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Statistical abstraction and model-checking of large heterogeneous systems

✍ Scribed by Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay

Publisher
Springer
Year
2011
Tongue
English
Weight
1015 KB
Volume
14
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking and abstraction to the ai
Model checking and abstraction to the aid of parameterized systems (a survey)
✍ Lenore Zuck; Amir Pnueli 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Parameterized systems are systems that involve numerous instantiations of the same ÿnite-state module, and depend on a parameter which deÿnes their size. Examples of parameterized systems include sensor systems, telecommunication protocols, bus protocols, cache coherence protocols, and many other pr