Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
SPIN 2012
Alastair Donaldson, David Parker (eds.).
- Berlin ; New York : Springer, ©2012.
- 1 online resource (x, 260 pages) : illustrations.
- Lecture notes in computer science, 7385 1611-3349 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- Lecture notes in computer science ; 7385. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
International conference proceedings.
Includes bibliographical references and author index.
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials / High-Coverage Symbolic Patch Testing / Towards Automatic Synthesis of Software Verification Tools / Mining Models / Counterexample Explanation by Anomaly Detection / Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue / A Compositional Minimization Approach for Large Asynchronous Design Verification / On Parallel Software Verification Using Boolean Equation Systems / Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking / Gossiping Girls Are All Alike / Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid / Parallelizing the Spin Model Checker / Parallel Model Checking Using Abstraction / McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / Parameterized Model Checking of Fine Grained Concurrency / mctau: Bridging the Gap between Modest and UPPAAL / FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation / Model Checking DSL-Generated C Source Code / SMTInterpol: An Interpolating SMT Solver / S2N: Model Transformation from SPIN to NuSMV / Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan and Margus Veanes -- Paul Dan Marinescu and Cristian Cadar -- Andrey Rybalchenko -- Andreas Zeller -- Stefan Leue and Mitra Tabaei Befrouei -- Sami Evangelista and Lars Michael Kristensen -- Hao Zheng, Emmanuel Rodriguez, Yingying Zhang and Chris Myers -- Alexander Ditter, Milan Češka and Gerald Lüttgen -- Anton J. Wijs and Dragan Bošnački -- Theo C. Ruys and Pim Kars -- Shravan Garlapati and Sandeep K. Shukla -- Gerard J. Holzmann -- Ethan Burns and Rong Zhou -- Reng Zeng, Zhuo Sun, Su Liu and Xudong He -- Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne and Sharad Malik -- Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns -- Heinz Riener and Görschwin Fey -- Martin Sulzmann and Axel Zechner -- Jürgen Christ, Jochen Hoenicke and Alexander Nutz -- Yong Jiang and Zongyan Qiu. (Tool Paper) /
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.
9783642317590 3642317596 3642317588 9783642317583
SPIN (Computer file)--Congresses.
SPIN (Computer file)
Computer software--Verification--Congresses.
Software engineering--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Génie logiciel--Congrès.
Informatique.
Computer software--Testing
Computer software--Verification
Software engineering
Computer science. Software engineering. Logic design. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.V47 / .I58 2012
005.1/4
International conference proceedings.
Includes bibliographical references and author index.
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials / High-Coverage Symbolic Patch Testing / Towards Automatic Synthesis of Software Verification Tools / Mining Models / Counterexample Explanation by Anomaly Detection / Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue / A Compositional Minimization Approach for Large Asynchronous Design Verification / On Parallel Software Verification Using Boolean Equation Systems / Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking / Gossiping Girls Are All Alike / Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid / Parallelizing the Spin Model Checker / Parallel Model Checking Using Abstraction / McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / Parameterized Model Checking of Fine Grained Concurrency / mctau: Bridging the Gap between Modest and UPPAAL / FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation / Model Checking DSL-Generated C Source Code / SMTInterpol: An Interpolating SMT Solver / S2N: Model Transformation from SPIN to NuSMV / Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan and Margus Veanes -- Paul Dan Marinescu and Cristian Cadar -- Andrey Rybalchenko -- Andreas Zeller -- Stefan Leue and Mitra Tabaei Befrouei -- Sami Evangelista and Lars Michael Kristensen -- Hao Zheng, Emmanuel Rodriguez, Yingying Zhang and Chris Myers -- Alexander Ditter, Milan Češka and Gerald Lüttgen -- Anton J. Wijs and Dragan Bošnački -- Theo C. Ruys and Pim Kars -- Shravan Garlapati and Sandeep K. Shukla -- Gerard J. Holzmann -- Ethan Burns and Rong Zhou -- Reng Zeng, Zhuo Sun, Su Liu and Xudong He -- Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne and Sharad Malik -- Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns -- Heinz Riener and Görschwin Fey -- Martin Sulzmann and Axel Zechner -- Jürgen Christ, Jochen Hoenicke and Alexander Nutz -- Yong Jiang and Zongyan Qiu. (Tool Paper) /
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.
9783642317590 3642317596 3642317588 9783642317583
SPIN (Computer file)--Congresses.
SPIN (Computer file)
Computer software--Verification--Congresses.
Software engineering--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Génie logiciel--Congrès.
Informatique.
Computer software--Testing
Computer software--Verification
Software engineering
Computer science. Software engineering. Logic design. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.V47 / .I58 2012
005.1/4