Ausgabe 3/2022
FMICS 2019/2020
Inhalt (9 Artikel)
Introduction
Formal methods and tools for industrial critical systems
Maurice H. ter Beek, Kim G. Larsen, Dejan Ničković, Tim A. C. Willemse
Open Access
General
DFT modeling approach for operational risk assessment of railway infrastructure
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
Open Access
General
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
General
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
Yanni Kouskoulas, T. J. Machado, Daniel Genin, Aurora Schmidt, Ivan Papusha, Joshua Brulé
Open Access
General
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
Rong Gu, Peter G. Jensen, Danny B. Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
General
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Open Access
General
Formal verification of OIL component specifications using mCRL2
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse