Abstract is missing.
- Contract Automata: A Specification Language for Mode-Based SystemsAlexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich. 1-11 [doi]
- Finite Automata synthesis from InteractionsErwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. 12-22 [doi]
- Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random SamplingOlivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher. 23-32 [doi]
- Diagnosing Violations of Time-based Properties Captured in iCFTLCristina Stratan, Joshua Heneage Dawes, Domenico Bianculli. 33-43 [doi]
- Time for Networks: Mutation Testing for Timed Automata NetworksDavid Cortés, James Ortiz, Davide Basile 0001, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens. 44-54 [doi]
- Verifying Opacity of Discrete-Timed AutomataJulian Klein, Paul Kogel, Sabine Glesner. 55-65 [doi]
- Automated Repair of Violated Eventually Properties in Concurrent ProgramsIrman Faqrizal, Quentin Nivon, Gwen Salaün. 66-76 [doi]
- Compositional Analysis of Parametric Cooperative Cyber-Physical SystemsRaniah A Alghamdi, Richard J. Trefler. 77-87 [doi]
- Formal Methods in Requirements Engineering: Survey and Future DirectionsRobert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan. 88-99 [doi]
- A Semantics of Structures, Unions, and Underspecified Terms for Formal SpecificationLouis Gauthier, Virgile Prevosto, Julien Signoles. 100-110 [doi]
- Formally Verified Interval Arithmetic and Its Application to Program VerificationAchim D. Brucker, Teddy Cameron-Burke, Amy Stell. 111-121 [doi]
- Towards Verifiable Multi-Agent Interaction Pattern SpecificationAlberto Tagliaferro, Livia Lestingi, Matteo Rossi. 122-126 [doi]
- Case Study: Neural Network Malware Detection Verification for Feature and Image DatasetsPreston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson. 127-137 [doi]
- Leveraging Large Language Models to Boost Dafny's Developers ProductivityÁlvaro F. Silva, Alexandra Mendes, João F. Ferreira 0001. 138-142 [doi]