Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings

by Dragan Bosnacki

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 eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe'rstSPINworkshopwasastand-aloneevent,...

• Format: Paperback
• Language: English
• ISBN: 3540434771
• ISBN13: 9783540434771
• Release Date: March 2002
• Publisher: Springer
• Length: 262 Pages
• Weight: 0.86 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"