Items related to Model Checking Software: 9th International SPIN Workshop...
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science, 2318) - Softcover
Synopsis
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,later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), World Congress on Formal Methods (1999), FMOODS (2000), and ICSE (2001). This year, SPIN 2002 was held as a satellite event of ETAPS 2002, the European Joint Conferences on Theory and Practice of Software. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag’s “Lecture Notes in Computer Science” series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development 1 around the SPIN model checker were the focus of this workshop series, the scopehasrecentlywidenedtoincludemoregeneralapproachestosoftwaremodel checking. Current research in this area concentrates not so much on completely verifyingsystemmodels,butratheronanalyzingsourcecodeinordertodiscover software faults.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 9th International SPIN Workshop...
Stock Image
Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 Proceedings
Published by
Springer Verlag, New York, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2318. [x, 257 p. : ill. ; 24 cm]. Seller Inventory # 011897
Quantity: 1 available
Stock Image
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD1421778
Quantity: 1 available
Stock Image
Model Checking Software (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540434771
Quantity: 1 available
Seller Image
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916445-n
Quantity: Over 20 available
Seller Image
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916445
Quantity: Over 20 available
Stock Image
Model Checking Software
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391. . 2002. Paperback. . . . . Seller Inventory # V9783540434771
Quantity: 15 available
Seller Image
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916445
Quantity: Over 20 available
Seller Image
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916445-n
Quantity: Over 20 available
Stock Image
Model Checking Software
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391. . 2002. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783540434771
Quantity: 15 available
Stock Image
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science, 2318)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540434771_new
Quantity: Over 20 available