Volume 39, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 39, Issue 3

December 2011

Special issue on Computer-Aided Verification (CAV'09)

Issue Editors:

Oded Maler,
Ahmed Bouajjani

4 articles in this issue

Priority scheduling of distributed systems based on model checking
Ananda Basu
Saddek Bensalem
Joseph Sifakis
OriginalPaper 27 September 2011 Pages: 229 - 245
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Isil Dillig
Thomas Dillig
Alex Aiken
OriginalPaper 30 September 2011 Pages: 246 - 260
Antichains and compositional algorithms for LTL synthesis
Emmanuel Filiot
Naiyong Jin
Jean-François Raskin
OriginalPaper 22 March 2011 Pages: 261 - 296
Verification of STM on relaxed memory models
Rachid Guerraoui
Thomas A. Henzinger
Vasu Singh
OriginalPaper 23 November 2011 Pages: 297 - 331