Volume 40; Issue 1

Formal Methods in System Design

Volume 40; Issue 1
1

Transparent partial order reduction

Stephen F. Siegel
Journal:
Formal Methods in System Design
Year:
2012
Language:
english
File:
PDF, 841 KB
english, 2012
2

Explaining counterexamples using causality

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler
Journal:
Formal Methods in System Design
Year:
2012
Language:
english
File:
PDF, 797 KB
english, 2012
3

Interrupt Timed Automata: verification and expressiveness

Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Journal:
Formal Methods in System Design
Year:
2012
Language:
english
File:
PDF, 1.67 MB
english, 2012
4

Synthesis of opaque systems with static and dynamic masks

Franck Cassez, Jérémy Dubreil, Hervé Marchand
Journal:
Formal Methods in System Design
Year:
2012
Language:
english
File:
PDF, 990 KB
english, 2012