Volume 40, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 40, Issue 1

February 2012

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Transparent partial order reduction
Stephen F. Siegel
OriginalPaper 06 July 2011 Pages: 1 - 19
Explaining counterexamples using causality
Ilan Beer
Shoham Ben-David
Richard Trefler
OriginalPaper 20 December 2011 Pages: 20 - 40
Interrupt Timed Automata: verification and expressiveness
Béatrice Bérard
Serge Haddad
Mathieu Sassolas
OriginalPaper 11 January 2012 Pages: 41 - 87
Synthesis of opaque systems with static and dynamic masks
Franck Cassez
Jérémy Dubreil
Hervé Marchand
OriginalPaper 19 January 2012 Pages: 88 - 115