Volume 61, Issue 1

August 2022

Special Issue 'FM2021'

Issue Editors:

6 articles in this issue

Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
EditorialNotes 02 October 2023 Pages: 1 - 2
Runtime verification of real-time event streams using the tool HStriver
Felipe Gorostiaga
César Sánchez
Original Article 21 June 2023 Pages: 3 - 34
Fingerprinting and analysis of Bluetooth devices with automata learning
Andrea Pferscher
Bernhard K. Aichernig
Original Article Open access 22 May 2023 Pages: 35 - 62
Integrating ADTs in KeY and their application to history-based reasoning about collection
Jinting Bian
Hans-Dieter A. Hiep
Stijn de Gouw
Original Article Open access 09 May 2023 Pages: 63 - 89
The probabilistic termination tool amber
Marcel Moosbrugger
Ezio Bartocci
Laura Kovács
Original Article Open access 10 May 2023 Pages: 90 - 109
Concise outlines for a complex logic: a proof outline checker for TaDA
Felix A. Wolf
Malte Schwerhoff
Peter Müller
Original Article Open access 31 July 2023 Pages: 110 - 136

Search