Accepted Papers

• Asieh Salehi Fathabadi and Mark Hermeling. Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development
• Max Richter and Fabian Vu. Domain-Specific 3D Visualization of Formal Models
• Téo Bernier, Frédéric Loulergue and Nikolai Kosmatov. Deductive Verification of a Patricia Trie with Creusot
• Ian J. Hayes, Larissa Meinicke and Cliff Jones. Reasoning about concurrent loops and recursion with rely-guarantee rules
• Benjamin Puyobro, Paolo Crisafulli and Burkhart Wolff. A Formally Verified N-Dimensional Safety Shield for Autonomous Systems
• Alessandro Fantechi, Gloria Gori and Jacopo Zecchi. Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation
• Edoardo Putti and Alexander Stekelenburg. Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle
• Jonas Schürmann and Bernhard Steffen. Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach

Best Paper Awards

Congratulations to:

• Ian J. Hayes, Larissa Meinicke and Cliff Jones, Reasoning about concurrent loops and recursion with rely-guarantee rules. (Best Paper and EASST ERCIM award)

• Alessandro Fantechi, Gloria Gori and Jacopo Zecchi, Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation (Best Paper award)