Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / Alastair Donaldson, David Parker (eds.).

By: (19th : International SPIN Workshop (19th : 2012 : Oxford, England)
Contributor(s): Donaldson, Alastair | Parker, David, 1941 October 18-
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 7385.; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2012Description: 1 online resource (x, 260 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642317590; 3642317596Other title: SPIN 2012Subject(s): SPIN (Computer file) -- Congresses | SPIN (Computer file) | Computer software -- Verification -- Congresses | Software engineering -- Congresses | Computer software -- Testing -- Congresses | Informatique | Computer software -- Testing | Computer software -- Verification | Software engineering | Computer science | Software engineering | Logic design | Programming Languages, Compilers, Interpreters | Logics and Meanings of ProgramsGenre/Form: Conference papers and proceedings. | Electronic books. Additional physical formats: Printed edition:: No titleDDC classification: 005.1/4 LOC classification: QA76.76.V47 | .I58 2012Online resources: Click here to access online
Contents:
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials / Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan and Margus Veanes -- High-Coverage Symbolic Patch Testing / Paul Dan Marinescu and Cristian Cadar -- Towards Automatic Synthesis of Software Verification Tools / Andrey Rybalchenko -- Mining Models / Andreas Zeller -- Counterexample Explanation by Anomaly Detection / Stefan Leue and Mitra Tabaei Befrouei -- Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue / Sami Evangelista and Lars Michael Kristensen -- A Compositional Minimization Approach for Large Asynchronous Design Verification / Hao Zheng, Emmanuel Rodriguez, Yingying Zhang and Chris Myers -- On Parallel Software Verification Using Boolean Equation Systems / Alexander Ditter, Milan Češka and Gerald Lüttgen -- Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking / Anton J. Wijs and Dragan Bošnački -- Gossiping Girls Are All Alike / Theo C. Ruys and Pim Kars -- Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid / Shravan Garlapati and Sandeep K. Shukla -- Parallelizing the Spin Model Checker / Gerard J. Holzmann -- Parallel Model Checking Using Abstraction / Ethan Burns and Rong Zhou -- McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / Reng Zeng, Zhuo Sun, Su Liu and Xudong He -- Parameterized Model Checking of Fine Grained Concurrency / Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne and Sharad Malik -- mctau: Bridging the Gap between Modest and UPPAAL / Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns -- FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation / Heinz Riener and Görschwin Fey -- Model Checking DSL-Generated C Source Code / Martin Sulzmann and Axel Zechner -- SMTInterpol: An Interpolating SMT Solver / Jürgen Christ, Jochen Hoenicke and Alexander Nutz -- S2N: Model Transformation from SPIN to NuSMV / Yong Jiang and Zongyan Qiu.
Summary: This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
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

Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials / Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan and Margus Veanes -- High-Coverage Symbolic Patch Testing / Paul Dan Marinescu and Cristian Cadar -- Towards Automatic Synthesis of Software Verification Tools / Andrey Rybalchenko -- Mining Models / Andreas Zeller -- Counterexample Explanation by Anomaly Detection / Stefan Leue and Mitra Tabaei Befrouei -- Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue / Sami Evangelista and Lars Michael Kristensen -- A Compositional Minimization Approach for Large Asynchronous Design Verification / Hao Zheng, Emmanuel Rodriguez, Yingying Zhang and Chris Myers -- On Parallel Software Verification Using Boolean Equation Systems / Alexander Ditter, Milan Češka and Gerald Lüttgen -- Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking / Anton J. Wijs and Dragan Bošnački -- Gossiping Girls Are All Alike / Theo C. Ruys and Pim Kars -- Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid / Shravan Garlapati and Sandeep K. Shukla -- Parallelizing the Spin Model Checker / Gerard J. Holzmann -- Parallel Model Checking Using Abstraction / Ethan Burns and Rong Zhou -- McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / Reng Zeng, Zhuo Sun, Su Liu and Xudong He -- Parameterized Model Checking of Fine Grained Concurrency / Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne and Sharad Malik -- mctau: Bridging the Gap between Modest and UPPAAL / Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns -- FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation / Heinz Riener and Görschwin Fey -- Model Checking DSL-Generated C Source Code / Martin Sulzmann and Axel Zechner -- SMTInterpol: An Interpolating SMT Solver / Jürgen Christ, Jochen Hoenicke and Alexander Nutz -- S2N: Model Transformation from SPIN to NuSMV / (Tool Paper) / Yong Jiang and Zongyan Qiu.

International conference proceedings.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed Aug. 27, 2012).

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

There are no comments for this item.

to post a comment.

Powered by Koha