Abstract is missing.
- From a Proven Correct Microkernel to Trustworthy Large SystemsJune Andronick. 1-9 [doi]
- Static Contract Checking with Abstract InterpretationManuel Fähndrich, Francesco Logozzo. 10-30 [doi]
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani. 31-45 [doi]
- Validating Timed Models of Deployment Components with Parametric ConcurrencyEinar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. 46-60 [doi]
- Verification of Software Product Lines with Delta-Oriented SlicingDaniel Bruns, Vladimir Klebanov, Ina Schaefer. 61-75 [doi]
- Satisfiability Solving and Model Generation for Quantified First-Order Logic FormulasChristoph Gladisch. 76-91 [doi]
- Sawja: Static Analysis Workshop for JavaLaurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin. 92-106 [doi]
- CVPP: A Tool Set for Compositional Verification of Control-Flow Safety PropertiesMarieke Huisman, Dilian Gurov. 107-121 [doi]
- Specifying Imperative ML-Like Programs Using Dynamic LogicSéverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel. 122-137 [doi]
- Dynamic Frames in Java Dynamic LogicPeter H. Schmitt, Mattias Ulbrich, Benjamin Weiß. 138-152 [doi]
- A Refinement Methodology for Object-Oriented ProgramsAsma Tafat, Sylvain Boulmé, Claude Marché. 153-167 [doi]
- A Dynamic Logic for Unstructured Programs with Embedded AssertionsMattias Ulbrich. 168-182 [doi]
- JMLUnit: The Next GenerationDaniel M. Zimmerman, Rinkesh Nagmoti. 183-197 [doi]