𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Automatic Generation of Model Checking Scripts Based on Environment Modeling

✍ Scribed by van de Pol, Jaco; Weber, Michael

Book ID
120172852
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
521 KB
Category
Article
ISBN
3642161642

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model Checking Software Volume 2318 || Model Checking Knowledge and Time
✍ BoΕ‘nački, Dragan; Leue, Stefan πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 English βš– 292 KB

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at MontrΒ΄