Accepted Papers

• Formally Verified Interval Arithmetic and Its Application to Program Verification
  Achim D. Brucker, Teddy Cameron-Burke, Amy Stell
• Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
  Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu ACHER
• Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
  Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T Johnson
• Formal Methods in Requirements Engineering: Survey and Future Directions
  Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
• Leveraging Large Language Models to Boost Dafny's Developers Productivity
  Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
• Diagnosing Violations of Time-based Properties Captured in iCFTL
  Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
• Verifying Opacity of Discrete-Timed Automata
  Julian Klein, Paul Kogel, Sabine Glesner
• Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
  Raniah Alghamdi, Richard Trefler
• Time for Networks: Mutation Testing for Timed Automata Networks
  David Cortés, James Ortiz, Davide Basile, Jesus Aranda, Gilles Perrouin, Pierre Yves Schobbens
• Towards Verifiable Multi-Agent Interaction Pattern Specification
  Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
• A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
  Louis Gauthier, Virgile Prevosto, Julien Signoles
• Contract Automata: A Specification Language for Mode-Based Systems
  Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
• Finite Automata synthesis from Interactions
  Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
• Automated Repair of Violated Eventually Properties in Concurrent Programs
  Irman Faqrizal, Quentin Nivon, Gwen Salaün