Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, 6349) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Buchi automata, extensions to infinite-state systems, and concurrent software.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 17th International SPIN Workshop,...
Seller Image
Model Checking Software : 17th International Spin Workshop, Enschede, the Netherlands, September 27-29, 2010, 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 # 11625241
Seller Image
Model Checking Software : 17th International Spin Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 11625241-n
Stock Image
Model Checking Software (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642161634
ISBN 13: 9783642161636
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27-29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri?Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re?ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools.The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi?canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume. Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642161636
Stock Image
Model Checking Software: 17th International Spin Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
Published by
Springer-Verlag New York Inc, 2010
ISBN 10: 3642161634
ISBN 13: 9783642161636
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 273 pages. 9.25x6.00x0.75 inches. In Stock. Seller Inventory # x-3642161634
Buy New
US$ 90.98
US$ 13.33 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Model Checking Software
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642161634
ISBN 13: 9783642161636
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Up to date resultsFast conference proceedingsState-of-the-art reportSatisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Model Checking in Context.- Experimental Com. Seller Inventory # 5051060
Buy New
US$ 73.71
US$ 56.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 261 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 9293153/12
Buy Used
US$ 35.80
US$ 122.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Published by
Springer, Berlin, Springer, 2010
ISBN 10: 3642161634
ISBN 13: 9783642161636
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27 29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools. The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume. Seller Inventory # 9783642161636
Buy New
US$ 91.26
US$ 72.51 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available