Issue 1/2022
Special Issue 'FM2021'
Content (6 Articles)
Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman, Corina S. Păsăreanu, Naijun Zhan
Original Article
Runtime verification of real-time event streams using the tool HStriver
Felipe Gorostiaga, César Sánchez
Open Access
Original Article
Fingerprinting and analysis of Bluetooth devices with automata learning
Andrea Pferscher, Bernhard K. Aichernig
Open Access
Original Article
Integrating ADTs in KeY and their application to history-based reasoning about collection
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Open Access
Original Article
The probabilistic termination tool amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Open Access
Original Article
Concise outlines for a complex logic: a proof outline checker for TaDA
Felix A. Wolf, Malte Schwerhoff, Peter Müller