Abstract is missing.
- Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive StepsSimon Thrane Hansen, Cláudio Gomes 0001, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock. 3-20 [doi]
- Automated Verification of Temporal Properties of Ladder ProgramsCláudio Belo Lourenço, Denis Cousineau 0003, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue. 21-38 [doi]
- Spatial Model Checking for Smart Stations - Research ChallengesMaurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo. 39-47 [doi]
- Parametric Faults in Safety Critical ProgramsHamid Jahanian. 51-66 [doi]
- Modular Transformation of Java Exceptions Modulo ErrorsRobert Rubbens, Sophie Lathouwers, Marieke Huisman. 67-84 [doi]
- On Education and Training in Formal Methods for Industrial Critical SystemsBernd Westphal. 85-103 [doi]
- Improving SMT Solver Integrations for the Validation of B and Event-B ModelsJoshua Schmidt, Michael Leuschel. 107-125 [doi]
- Standard Conformance-by-Construction with Event-BIsmaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque. 126-146 [doi]
- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed SystemsAndrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman. 149-166 [doi]
- Verifying the Mathematical Library of an UAV Autopilot with Frama-CBaptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux. 167-173 [doi]
- Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard InterfacesDavide Basile, Alessandro Fantechi, Irene Rosadi. 174-190 [doi]
- ProB2-UI: A Java-Based User Interface for ProBJens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth. 193-201 [doi]
- Intrepid: A Scriptable and Cloud-Ready SMT-Based Model CheckerRoberto Bruttomesso. 202-211 [doi]
- Merit and Blame Assignment with Kind 2Daniel Larraz, Mickaël Laurent, Cesare Tinelli. 212-220 [doi]
- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical SystemsQuinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos. 223-231 [doi]
- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip SystemRiley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang 0006. 232-248 [doi]