Issue 3/2018
Special issue on Program Equivalence
Content (4 Articles)
Automating regression verification of pointer programs by predicate abstraction
Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automated verification of automata communicating via FIFO and bag buffers
Lakhdar Akroun, Gwen Salaün