𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Tool for Abstraction in Model Checking

✍ Scribed by María del Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
370 KB
Volume
66
Category
Article
ISSN
1571-0661

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