External Links

    Journal: Formal Methods in System Design

    Volume 40, Issue 1

    1 -- 19Stephen F. Siegel. Transparent partial order reduction
    20 -- 40Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler. Explaining counterexamples using causality
    41 -- 87Béatrice Bérard, Serge Haddad, Mathieu Sassolas. Interrupt Timed Automata: verification and expressiveness
    88 -- 115Franck Cassez, Jérémy Dubreil, Hervé Marchand. Synthesis of opaque systems with static and dynamic masks
    runs on