External Links

    Journal: Formal Methods in System Design

    Volume 39, Issue 3

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