TY  - BOOK
AU  - Donaldson,Alastair
AU  - Parker,David
ED  - International SPIN Workshop
TI  - Model checking software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642317590
AV  - QA76.76.V47 .I58 2012
U1  - 005.1/4 23
PY  - 2012///
CY  - Berlin, New York
PB  - Springer
KW  - SPIN (Computer file)
KW  - Congresses
KW  - fast
KW  - Computer software
KW  - Verification
KW  - Software engineering
KW  - Testing
KW  - Logiciels
KW  - Vérification
KW  - Congrès
KW  - Génie logiciel
KW  - Informatique
KW  - eclas
KW  - Computer science
KW  - Logic design
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references and author index; 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
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-642-31759-0
ER  -