1. Formal methods and tools for industrial critical systems

   • Maurice H. ter Beek
   • Kim G. Larsen
   • Tim A. C. Willemse

   Introduction 04 April 2022 Pages: 325 - 330

2. DFT modeling approach for operational risk assessment of railway infrastructure

   • Norman Weik
   • Matthias Volk
   • Nils Nießen

   General Open access 05 April 2022 Pages: 331 - 350

   

3. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods

   • Davide Basile
   • Maurice H. ter Beek
   • Axel Legay

   General Open access 10 April 2022 Pages: 351 - 370

   

4. Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns

   • Yanni Kouskoulas
   • T. J. Machado
   • Joshua Brulé

   General 02 May 2022 Pages: 371 - 394

   

5. Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

   • Rong Gu
   • Peter G. Jensen
   • Kristina Lundqvist

   General Open access 30 March 2022 Pages: 395 - 414

   

6. Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

   • Benjamin Binder
   • Mihail Asavoae
   • Mathieu Jan

   General 11 April 2022 Pages: 415 - 440

   

7. Formal verification of OIL component specifications using mCRL2

   • Olav Bunte
   • Louis C. M. van Gool
   • Tim A. C. Willemse

   General Open access 21 April 2022 Pages: 441 - 472

   

8. Temporal-logic query checking over finite data streams

   • Samuel Huang
   • Rance Cleaveland

   General 05 April 2022 Pages: 473 - 492

   

9. DivSIM , an interactive simulator for LLVM bitcode

   • Petr Ročkai
   • Jiří Barnat

   General 01 April 2022 Pages: 493 - 510