Volume 52, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 52, Issue 3

June 2018

Special issue on Program Equivalence

Issue Editor:

Ofer Strichman

4 articles in this issue

Special issue: program equivalence
Ofer Strichman
EditorialNotes 23 March 2018 Pages: 227 - 228
Automating regression verification of pointer programs by predicate abstraction
Vladimir Klebanov
Philipp Rümmer
Mattias Ulbrich
OriginalPaper 31 August 2017 Pages: 229 - 259
Automated verification of automata communicating via FIFO and bag buffers
Lakhdar Akroun
Gwen Salaün
OriginalPaper 20 June 2017 Pages: 260 - 276
Algorithmic games for full ground references
Andrzej S. Murawski
Nikos Tzevelekos
OriginalPaper Open access 09 August 2017 Pages: 277 - 314