default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th SPIN 2012: Oxford, UK
- Alastair F. Donaldson, David Parker:
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3
Invited Contributions
- Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes:
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. 1-6 - Paul Dan Marinescu, Cristian Cadar
:
High-Coverage Symbolic Patch Testing. 7-21 - Andrey Rybalchenko:
Towards Automatic Synthesis of Software Verification Tools. 22 - Andreas Zeller:
Mining Models. 23
Model Checking Techniques
- Stefan Leue, Mitra Tabaei Befrouei:
Counterexample Explanation by Anomaly Detection. 24-42 - Sami Evangelista, Lars Michael Kristensen:
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. 43-61 - Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers:
A Compositional Minimization Approach for Large Asynchronous Design Verification. 62-79
Parallel Model Checking 1
- Alexander Ditter, Milan Ceska, Gerald Lüttgen:
On Parallel Software Verification Using Boolean Equation Systems. 80-97 - Anton Wijs, Dragan Bosnacki:
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. 98-116
Case Studies
- Theo C. Ruys, Pim Kars:
Gossiping Girls Are All Alike. 117-136 - Shravan Garlapati, Sandeep K. Shukla:
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. 137-154
Parallel Model Checking 2
- Gerard J. Holzmann:
Parallelizing the Spin Model Checker. 155-171 - Ethan Burns, Rong Zhou:
Parallel Model Checking Using Abstraction. 172-190
Model Checking for Concurrency
- Reng Zeng, Zhuo Sun, Su Liu, Xudong He:
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. 191-207 - Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik:
Parameterized Model Checking of Fine Grained Concurrency. 208-226
Tool Demonstrations
- Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns:
mctau: Bridging the Gap between Modest and UPPAAL. 227-233 - Heinz Riener, Görschwin Fey:
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. 234-240 - Martin Sulzmann, Axel Zechner:
Model Checking DSL-Generated C Source Code. 241-247 - Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
SMTInterpol: An Interpolating SMT Solver. 248-254 - Yong Jiang, Zongyan Qiu:
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). 255-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
