| Description |
1 online resource (x, 260 pages) : illustrations |
| Series |
Lecture notes in computer science, 1611-3349 ; 7385 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7385. 1611-3349
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| 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 |
| Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed Aug. 27, 2012) |
| SUBJECT |
SPIN (Computer file) -- Congresses
|
|
SPIN (Computer file) fast |
| Subject |
Computer software -- Verification -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer software -- Testing -- Congresses
|
|
Informatique.
|
|
Computer software -- Testing
|
|
Computer software -- Verification
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Donaldson, Alastair.
|
|
Parker, David, 1941 October 18-
|
| ISBN |
9783642317590 |
|
3642317596 |
|
3642317588 |
|
9783642317583 |
|
