Formal Methods Syst. Des.

Keyphrases

Publications

volume 61, number 1, 2022

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

volume 60, number 1, 2022

volume 60, number 2, 2022

volume 60, number 3, 2022

volume 59, number 1, 2021

volume 58, number 1-2, 2021

volume 58, number 3, 2021

volume 57, number 3, 2021

Hugo Illous, Matthieu Lemerre, Xavier Rival
A relational shape abstract domain. Formal Methods Syst. Des. 57 (3) (2021)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Vacuity in synthesis. Formal Methods Syst. Des. 57 (3) (2021)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods Syst. Des. 57 (3) (2021)