Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

✍ Scribed by Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Tongue: English
Leaves: 321
Series: Lecture Notes in Computer Science 2057
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.
The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

✦ Table of Contents

From model checking to a temporal proof....Pages 1-14
Model checking if your life depends on it: a view from intel’s trenches....Pages 15-15
Model-checking in finite state-space systems with fine-grained abstractions using SPIN....Pages 16-36
Implementing LTL model checking with net unfoldings....Pages 37-56
Directed explicit model checking with HSF-SPIN....Pages 57-79
Addressing dynamic issues of program model checking....Pages 80-102
Automatically validating temporal safety properties of interfaces....Pages 102-122
Verification experiments on the MASCARA protocol....Pages 123-142
Using SPIN for feature interaction analysis - a case study....Pages 143-162
Behavioural analysis of the enterprise javaBeans ™ component architecture....Pages 163-182
p2b: A translation utility for linking promela and symbolic model checking (tool paper)....Pages 183-191
Transformations for model checking distributed java programs....Pages 192-199
Distributed LTL model-checking in SPIN....Pages 200-216
Parallel state space construction for model-checking....Pages 217-234
Model checking systems of replicated processes with spin....Pages 235-251
A SPIN-based model checker for telecommunication protocols....Pages 252-271
Modeling and verifying a price model for congestion control in computer networks using promela/spin....Pages 272-287
A model checking project at philips research....Pages 288-295
Applications of model checking at honeywell laboratories....Pages 296-303
Coarse-granular model checking in practice....Pages 304-311

✦ Subjects

Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters

📜 SIMILAR VOLUMES

Model Checking Software: 8th Internation

📁 Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)

✍ Matthew Dwyer (editor) 📂 Library 📅 2001 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full

Model Checking Software: 11th Internatio

📁 Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

✍ Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.) 📂 Library 📅 2004 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?

Model Checking Software: 11th Internatio

📁 Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

✍ Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.) 📂 Library 📅 2004 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Model Checking Software: 10th Internatio

📁 Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

✍ Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.) 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewe

Model Checking Software: 14th Internatio

📁 Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

✍ Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.) 📂 Library 📅 2007 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. The 14 revised full papers pre

Model Checking Software: 16th Internatio

📁 Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

✍ Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected