𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Parameterized Model Checking of Fine Grained Concurrency

✍ Scribed by Donaldson, Alastair; Parker, David

Book ID
120172858
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
265 KB
Category
Article
ISBN
3642317596

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Β΄