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

✍ Scribed by Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Tongue: English
Leaves: 351
Series: Lecture Notes in Computer Science 5156 : Theoretical Computer Science and General Issues
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

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

📜 SIMILAR VOLUMES

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: 12th Internatio

📁 Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

✍ David Wagner (auth.), Patrice Godefroid (eds.) 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Model Checking Software: 12th Internatio

📁 Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

✍ David Wagner (auth.), Patrice Godefroid (eds.) 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 too

SPIN Model Checking and Software Verific

📁 SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

✍ Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John P 📂 Library 📅 2000 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html)

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: 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 ?