✦ LIBER ✦

[Lecture Notes in Computer Science] Model Checking Software Volume 2989 || Advanced SPIN Tutorial

✍ Scribed by Graf, Susanne; Mounier, Laurent

Book ID: 121310195
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 73 KB
Category: Article
ISBN: 3540247327
DOI: 10.1007/978-3-540-24732-6_21

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 6349 || SMT-Based Software Model Checking

✍ Pol, Jaco; Weber, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 67 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Context-Enhanced Directed Model Checking

✍ van de Pol, Jaco; Weber, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[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´

[Lecture Notes in Computer Science] Mode

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

✍ Donaldson, Alastair; Parker, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 265 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 2989 || Validation of UML Models via a Mapping to Communicating Extended Timed Automata

✍ Graf, Susanne; Mounier, Laurent 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 267 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 1346 || Model checking

✍ Ramesh, S.; Sivakumar, G 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 190 KB

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Foundations Of Software Technology And Theoretical Computer Science, Fsttcs'97. The 18 Revised Full Papers Presented Were Selected From A Total Of 68 Submissions. Also Included Are Five Invited Papers By Ed Clarke