Abstract is missing.
- I Can See Clearly Now: Clairvoyant Assertions for Deadlock CheckingOle Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz. 1-18 [doi]
- When COSTA Met KeY: Verified Cost BoundsElvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez. 19-37 [doi]
- Lifelong Learning of Reactive Systems in PracticeAlexander Bainczyk, Bernhard Steffen, Falk Howar. 38-53 [doi]
- A Case Study in Information Flow Refinement for Low Level SystemsRoberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati. 54-79 [doi]
- Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeYTabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson. 80-104 [doi]
- Specifying the Boundary Between Unverified and Verified CodeDavid R. Cok, K. Rustan M. Leino. 105-128 [doi]
- Programming Legal Contracts - A Beginners Guide to StipulaSilvia Crafa, Cosimo Laneve. 129-146 [doi]
- Towards a Modular and Variability-Aware Aerodynamic SimulatorFerruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel. 147-172 [doi]
- Reasoning About Active Objects: A Sound and Complete Assertional Proof MethodFrank S. de Boer, Stijn de Gouw. 173-192 [doi]
- Improving Automatic Complexity Analysis of Integer ProgramsJürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer. 193-228 [doi]
- Alice in Wineland: A Fairy Tale with ContractsDilian Gurov, Christian Lidström, Philipp Rümmer. 229-242 [doi]
- Teaching Design by Contract Using Snap!Marieke Huisman, Raúl E. Monti. 243-263 [doi]
- On the Notion of Naturalness in Formal ModelingEduard Kamburjan, Sandro Rama Fiorini. 264-289 [doi]
- The Karlsruhe Java Verification SuiteJonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich. 290-312 [doi]
- Further Lessons from the JML ProjectGary T. Leavens, David R. Cok, Amirfarhad Nilizadeh. 313-349 [doi]
- Inference in MaxSAT and MinSATChu Min Li, Felip Manyà. 350-369 [doi]
- Implications of Deductive Verification on Research Quality - Field StudyWojciech Mostowski. 370-381 [doi]
- Computing in Łukasiewicz Logic and AF-AlgebrasDaniele Mundici. 382-396 [doi]
- Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal KnowledgeAarne Ranta. 397-407 [doi]
- Software & System Verification with KIVGerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif. 408-436 [doi]
- A Note on Idleness Detection of Actor SystemsRudolf Schlatte. 437-445 [doi]
- Symbolic Execution: Foundations, Techniques, Applications, and Future PerspectivesDominic Steinhöfel. 446-480 [doi]
- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active ObjectsSilvia Lizeth Tapia Tarifa. 481-499 [doi]
- Transparent Treatment of for-Loops in ProofsNathan Wasser. 500-519 [doi]