Abstract is missing.
- Classifying and Solving Horn Clauses for VerificationPhilipp Rümmer, Hossein Hojjat, Viktor Kuncak. 1-21 [doi]
- Static Analysis of Programs with Imprecise Probabilistic InputsAssalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot. 22-47 [doi]
- Effect Analysis for Programs with CallbacksEtienne Kneuss, Viktor Kuncak, Philippe Suter. 48-67 [doi]
- Compositional Network MobilityPamela Zave, Jennifer Rexford. 68-87 [doi]
- Parallel Bounded Verification of Alloy Models by TranScopingNicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias. 88-107 [doi]
- Extending the Theory of Arrays: memset, memcpy, and BeyondStephan Falke, Florian Merz, Carsten Sinz. 108-128 [doi]
- An Improved Unrolling-Based Decision Procedure for Algebraic Data TypesTuan-Hung Pham, Michael W. Whalen. 129-148 [doi]
- Program Checking with Less HassleJulian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer. 149-169 [doi]
- Verified CalculationsK. Rustan M. Leino, Nadia Polikarpova. 170-190 [doi]
- Preserving User Proofs across Specification ChangesFrançois Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich. 191-201 [doi]
- An Automatic Encoding from VeriFast Predicates into Implicit Dynamic FramesDaniel Jost, Alexander J. Summers. 202-221 [doi]
- Automated Code Proofs on a Formal Model of the X86Shilpi Goel, Warren A. Hunt Jr.. 222-241 [doi]
- Verification of a Virtual Filesystem SwitchGidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif. 242-261 [doi]
- Verifying Chinese Train Control System under a Combined Scenario by Theorem ProvingLiang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu. 262-280 [doi]
- Formal Verification of Loop Bound Estimation for WCET AnalysisSandrine Blazy, André Maroneze, David Pichardie. 281-303 [doi]
- Result Certification of Static Program Analysers with Automated Theorem ProversFrédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen. 304-325 [doi]
- A Formally Verified Generic Branching Algorithm for Global OptimizationAnthony Narkawicz, César A. Muñoz. 326-343 [doi]