Abstract is missing.
- Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and PolynomialsThomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes. 1-6 [doi]
- High-Coverage Symbolic Patch TestingPaul Dan Marinescu, Cristian Cadar. 7-21 [doi]
- Towards Automatic Synthesis of Software Verification ToolsAndrey Rybalchenko. 22 [doi]
- Mining ModelsAndreas Zeller. 23 [doi]
- Counterexample Explanation by Anomaly DetectionStefan Leue, Mitra Tabaei Befrouei. 24-42 [doi]
- Combining the Sweep-Line Method with the Use of an External-Memory Priority QueueSami Evangelista, Lars Michael Kristensen. 43-61 [doi]
- A Compositional Minimization Approach for Large Asynchronous Design VerificationHao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers. 62-79 [doi]
- On Parallel Software Verification Using Boolean Equation SystemsAlexander Ditter, Milan Ceska, Gerald Lüttgen. 80-97 [doi]
- Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model CheckingAnton Wijs, Dragan Bosnacki. 98-116 [doi]
- Gossiping Girls Are All AlikeTheo C. Ruys, Pim Kars. 117-136 [doi]
- Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart GridShravan Garlapati, Sandeep K. Shukla. 137-154 [doi]
- Parallelizing the Spin Model CheckerGerard J. Holzmann. 155-171 [doi]
- Parallel Model Checking Using AbstractionEthan Burns, Rong Zhou. 172-190 [doi]
- McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model CheckingReng Zeng, Zhuo Sun, Su Liu, Xudong He. 191-207 [doi]
- Parameterized Model Checking of Fine Grained ConcurrencyDivjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik. 208-226 [doi]
- mctau: Bridging the Gap between Modest and UPPAALJonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns. 227-233 [doi]
- FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test GenerationHeinz Riener, Görschwin Fey. 234-240 [doi]
- Model Checking DSL-Generated C Source CodeMartin Sulzmann, Axel Zechner. 241-247 [doi]
- SMTInterpol: An Interpolating SMT SolverJürgen Christ, Jochen Hoenicke, Alexander Nutz. 248-254 [doi]
- S2N: Model Transformation from SPIN to NuSMV - (Tool Paper)Yong Jiang, Zongyan Qiu. 255-260 [doi]