Abstract is missing.
- Symbolic Fault InjectionDaniel Larsson, Reiner Hähnle. [doi]
- Automation of Formal Verification of PLC Programs Written in ILOlivera Pavlovic, Ralf Pinger, Maik Kollmann. [doi]
- A Mechanization of Phylogenetic TreesMamoun Filali. [doi]
- Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger ArithmeticTobias Nipkow. [doi]
- Trends and Challenges in Satisfiability Modulo TheoriesCesare Tinelli. [doi]
- A Termination Checker for Isabelle Hoare LogicJia Meng, Lawrence C. Paulson, Gerwin Klein. [doi]
- Fully Verified Java Card API Reference ImplementationWojciech Mostowski. [doi]
- Formal Device and Programming Model for a Serial InterfaceEyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev. [doi]
- Combinations of Theories and the Bernays-Schönfinkel-Ramsey ClassPascal Fontaine. [doi]
- ALICE: An Advanced Logic for Interactive Component EngineeringBorislav Gajanovic, Bernhard Rumpe. [doi]
- Lightweight Verification with Dependent TypesAaron Stump. [doi]
- A History-based Verification of Distributed ApplicationsBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan. [doi]
- The Heterogeneous Tool Set (Hets)Till Mossakowski, Christian Maeder, Klaus Lüttich. [doi]
- Combining Deduction and Algebraic Constraints for Hybrid System AnalysisAndré Platzer. [doi]
- Inferring Invariants by Symbolic ExecutionPeter H. Schmitt, Benjamin Weiss. [doi]
- A Sequent Calculus for Integer Arithmetic with Counterexample GenerationPhilipp Rümmer. [doi]