Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7385. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2012.Description: 1 online resource (x, 260 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642317590
  • 3642317596
  • 3642317588
  • 9783642317583
Other title:
  • SPIN 2012
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1/4 23
LOC classification:
  • QA76.76.V47 .I58 2012
Online resources:
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 / (Tool Paper) / 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS 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.

Powered by Koha