Abstract is missing.
- Smart Contracts: A Killer Application for Deductive Source Code VerificationWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. 1-18 [doi]
- A Methodology for Invariants, Framing, and Subtyping in JMLYuyan Bao, Gary T. Leavens. 19-39 [doi]
- Trends in Relational Program VerificationBernhard Beckert, Mattias Ulbrich. 41-58 [doi]
- Collaborative Work Management with a Highly-Available Kanban BoardAnnette Bieniusa, Peter Zeller, Shraddha Barke. 59-72 [doi]
- A Case for Certifying Compilers in Industrial AutomationJan Olaf Blech. 73-86 [doi]
- Compositional Semantics for Concurrent Object Groups in ABSFrank S. de Boer, Stijn de Gouw. 87-98 [doi]
- Same Same But Different: Interoperability of Software Product Line VariantsFerruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. 99-117 [doi]
- A Hoare Logic Contract Theory: An Exercise in Denotational SemanticsDilian Gurov, Jonas Westman. 119-127 [doi]
- Towards Reliable Concurrent SoftwareMarieke Huisman, Sebastiaan J. C. Joosten. 129-146 [doi]
- Dynamic Software Updates and Context Adaptation for Distributed Active ObjectsEinar Broch Johnsen, Ingrid Chieh Yu. 147-164 [doi]
- Using CSP to Develop Quality Concurrent SoftwareDerrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson. 165-184 [doi]
- Modular Verification Scopes via Export Sets and Translucent ExportsK. Rustan M. Leino, Daniel Matichuk. 185-202 [doi]
- The Binomial Heap Verification Challenge in ViperPeter Müller. 203-219 [doi]
- Abstract and Concrete Data Types vs Object CapabilitiesJames Noble 0001, Alex Potanin, Toby C. Murray, Mark S. Miller. 221-240 [doi]
- A Personal History of Delta ModellingIna Schaefer. 241-250 [doi]
- Are Synchronous Programs Logic Programs?Klaus Schneider 0001, Marc Dahlem. 251-266 [doi]
- Illi Isabellistes Se Custodes Egregios PraestabantSimon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting. 267-282 [doi]
- Reasoning About Weak Semantics via Strong SemanticsRoland Meyer, Sebastian Wolff. 283-303 [doi]
- Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVEEduardo Zambon, Arend Rensink. 305-323 [doi]