Volume 58, Issue 1-2

Search all Formal Methods in System Design articles

October 2021

Special Issue:'Best Papers from FM 2019'

Issue Editors:

Maurice ter Beek,
Annabelle McIver

10 articles in this issue

Formal methods: practical applications and foundations
Maurice H. ter Beek
Annabelle McIver
EditorialNotes 06 July 2021 Pages: 1 - 4
Pegasus: sound continuous invariant generation
Andrew Sogokon
Stefan Mitsch
André Platzer
OriginalPaper Open access 20 January 2021 Pages: 5 - 41
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Simon Jantsch
David Müller
Joachim Klein
OriginalPaper Open access 15 December 2021 Pages: 42 - 82
Compositional verification of concurrent systems by combining bisimulations
Frédéric Lang
Radu Mateescu
Franco Mazzanti
OriginalPaper 18 February 2021 Pages: 83 - 125
Gray-box monitoring of hyperproperties with an application to privacy
Sandro Stucki
César Sánchez
Borzoo Bonakdarpour
OriginalPaper Open access 02 February 2021 Pages: 126 - 159
Integrating formal specifications into applications: the ProB Java API
Philipp Körner
Jens Bendisposto
Michael Leuschel
OriginalPaper Open access 21 October 2020 Pages: 160 - 187
Automatic verification of concurrent stochastic systems
Marta Kwiatkowska
Gethin Norman
Gabriel Santos
OriginalPaper Open access 22 January 2021 Pages: 188 - 250
Information-flow control on ARM and POWER multicore processors
Graeme Smith
Nicholas Coughlin
Toby Murray
OriginalPaper 08 June 2021 Pages: 251 - 293
Static analysis for detecting high-level races in RTOS kernels
Rekha Pai
Abhishek Singh
Prathibha Prakash
OriginalPaper 08 January 2021 Pages: 294 - 321
Abstraction and subsumption in modular verification of C programs
Lennart Beringer
Andrew W. Appel
OriginalPaper 23 March 2021 Pages: 322 - 345

Volume 58, Issue 1-2

Search

Navigation