Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).

By: (18th : International SPIN Workshop (18th : 2011 : Snowbird, Utah)
Contributor(s): Groce, Alex | Musuvathi, Madanlal
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 6823.; LNCS sublibrary: Publisher: Heidelberg : Springer, 2011Description: 1 online resource (x, 193 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642223068; 3642223060Other title: International SPIN Workshop | SPIN 2011 [Also known as:]Subject(s): SPIN (Computer file) -- Congresses | SPIN (Computer file) | Computer software -- Verification -- Congresses | Informatique | Computer software -- VerificationGenre/Form: Electronic books. | Conference papers and proceedings. | Conference papers and proceedings. Additional physical formats: Print version:: Model Checking Software.DDC classification: 005.1/4 LOC classification: QA76.76.V47 | I58 2011ebOnline resources: Click here to access online
Contents:
Model checking cell fate decisions / Jasmin Fisher -- Property-dependent reductions for the modal Mu-calculus / Radu Mateescu and Anton Wijs -- String abstractions for string verification / Fang Yu, Tevfik Bultan, and Ben Hardekopf -- Parallel recursive state compression for free / Alfons Laarman, Jaco van de Pol, and Michael Weber -- Depth bounded explicit-state model checking / Abhishek Udupa, Ankush Desai, and Sriram Rajamani -- Randomized backtracking in state space traversal / Pavel Parízek and Ondřej Lhoták -- An analytic evaluation of systemc encodings in Promela / Daniele Campana [and others] -- Building extensible specifications and implementations of Promela with AbleP / Yogesh Mali and Eric Van Wyk -- Program sketching via CTL* model checking / Andreas Morgenstern and Klaus Schneider -- A verification-based approach to memory fence insertion in relaxed memory systems / Alexander Linden and Pierre Wolper -- Model checking industrial robot systems / Markus Weißmann [and others] -- EpiSpin: an eclipse plug-in for Promela/Spin using Spoofax / Bob de Vos, Lennart C.L. Kats, and Cornelis Pronk -- DiPro-a tool for probabilistic counterexample generation / Husain Aljazzar [and others] -- dBug: systematic testing of unmodified distributed and multi-threaded systems / Jiří Šimsa, Randy Bryant, and Garth Gibson.
Summary: This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.

English.

Model checking cell fate decisions / Jasmin Fisher -- Property-dependent reductions for the modal Mu-calculus / Radu Mateescu and Anton Wijs -- String abstractions for string verification / Fang Yu, Tevfik Bultan, and Ben Hardekopf -- Parallel recursive state compression for free / Alfons Laarman, Jaco van de Pol, and Michael Weber -- Depth bounded explicit-state model checking / Abhishek Udupa, Ankush Desai, and Sriram Rajamani -- Randomized backtracking in state space traversal / Pavel Parízek and Ondřej Lhoták -- An analytic evaluation of systemc encodings in Promela / Daniele Campana [and others] -- Building extensible specifications and implementations of Promela with AbleP / Yogesh Mali and Eric Van Wyk -- Program sketching via CTL* model checking / Andreas Morgenstern and Klaus Schneider -- A verification-based approach to memory fence insertion in relaxed memory systems / Alexander Linden and Pierre Wolper -- Model checking industrial robot systems / Markus Weißmann [and others] -- EpiSpin: an eclipse plug-in for Promela/Spin using Spoofax / Bob de Vos, Lennart C.L. Kats, and Cornelis Pronk -- DiPro-a tool for probabilistic counterexample generation / Husain Aljazzar [and others] -- dBug: systematic testing of unmodified distributed and multi-threaded systems / Jiří Šimsa, Randy Bryant, and Garth Gibson.

There are no comments for this item.

to post a comment.

Powered by Koha