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

✍ Scribed by Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Tongue: English
Leaves: 251
Series: Lecture Notes in Computer Science 2648
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

✦ Table of Contents

Optimal Scheduling Using Branch and Bound with SPIN 4.0....Pages 1-17
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties....Pages 18-33
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter....Pages 34-48
Distributed Explicit Fair Cycle Detection (Set Based Approach)....Pages 49-73
Efficient Model Checking of Safety Properties....Pages 74-88
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness....Pages 89-103
A SAT Characterization of Boolean-Program Correctness....Pages 104-120
What Went Wrong: Explaining Counterexamples....Pages 121-136
A Nearly Memory-Optimal Data Structure for Sets and Mappings....Pages 136-150
Checking Consistency of SDL+MSC Specifications....Pages 151-166
Model Checking Publish-Subscribe Systems....Pages 166-180
A Methodology for Model-Checking Ad-hoc Networks....Pages 181-196
Promela Planning....Pages 197-213
Thread-Modular Model Checking....Pages 213-224
Unification & Sharing in Timed Automata Verification....Pages 225-229
The Maude LTL Model Checker and Its Implementation....Pages 230-234
Software Verification with BLAST....Pages 235-239

✦ Subjects

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

📜 SIMILAR VOLUMES

Model Checking Software: 10th Internatio

📁 Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648)

✍ Thomas Ball (editor), Sriram K. Rajamani (editor) 📂 Library 📅 2003 🏛 Springer 🌐 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 c

Model Checking Software: 15th Internatio

📁 Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

✍ Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and sele

Model Checking Software: 15th Internatio

📁 Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

✍ Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

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: 8th Internation

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

✍ Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.) 📂 Library 📅 2001 🏛 Springer-Verlag Berlin Heidelberg 🌐 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 pap