![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
26th FMICS 2021: Paris, France
- Alberto Lluch-Lafuente
, Anastasia Mavridou
:
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12863, Springer 2021, ISBN 978-3-030-85247-4
Verification
- Simon Thrane Hansen
, Cláudio Gomes
, Maurizio Palmieri
, Casper Thule
, Jaco van de Pol
, Jim Woodcock
:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. 3-20 - Cláudio Belo Lourenço
, Denis Cousineau
, Florian Faissole
, Claude Marché
, David Mentré
, Hiroaki Inoue:
Automated Verification of Temporal Properties of Ladder Programs. 21-38 - Maurice H. ter Beek
, Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Giorgio Oronzo Spagnolo
:
Spatial Model Checking for Smart Stations - Research Challenges. 39-47
Program Safety and Education
- Hamid Jahanian
:
Parametric Faults in Safety Critical Programs. 51-66 - Robert Rubbens
, Sophie Lathouwers
, Marieke Huisman
:
Modular Transformation of Java Exceptions Modulo Errors. 67-84 - Bernd Westphal
:
On Education and Training in Formal Methods for Industrial Critical Systems. 85-103
(Event-)B Modeling and Validation
- Joshua Schmidt
, Michael Leuschel
:
Improving SMT Solver Integrations for the Validation of B and Event-B Models. 107-125 - Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. 126-146
Formal Analysis
- Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. 149-166 - Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. 167-173 - Davide Basile
, Alessandro Fantechi, Irene Rosadi:
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. 174-190
Tools
- Jens Bendisposto
, David Geleßus, Yumiko Jansing, Michael Leuschel
, Antonia Pütz, Fabian Vu
, Michelle Werth:
ProB2-UI: A Java-Based User Interface for ProB. 193-201 - Roberto Bruttomesso:
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. 202-211 - Daniel Larraz
, Mickaël Laurent
, Cesare Tinelli
:
Merit and Blame Assignment with Kind 2. 212-220
Test Generation and Probabilistic Verification
- Quinn Thibeault, Jacob Anderson
, Aniruddh Chandratre, Giulia Pedrielli
, Georgios Fainekos:
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. 223-231 - Riley Roberts
, Benjamin Lewis
, Arnd Hartmanns
, Prabal Basu
, Sanghamitra Roy
, Koushik Chakraborty
, Zhen Zhang
:
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. 232-248
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.