Formal Methods in System Design, Volume 34

Volume 34, Number 1, February 2009

• Véronique Cortier, Stéphanie Delaune:
  Safely composing security protocols. 1-36
  Electronic Edition (link) BibTeX
• Hana Chockler, Ofer Strichman:
  Before and after vacuity. 37-58
  Electronic Edition (link) BibTeX
• Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
  Timed verification of the generic architecture of a memory circuit using parametric timed automata. 59-81
  Electronic Edition (link) BibTeX

Volume 34, Number 2, April 2009

• Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
  From liveness to promptness. 83-103
  Electronic Edition (link) BibTeX
• Ariel Cohen, Kedar S. Namjoshi:
  Local proofs for global safety properties. 104-125
  Electronic Edition (link) BibTeX
• Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
  Approximated parameterized verification of infinite-state processes with global conditions. 126-156
  Electronic Edition (link) BibTeX
• Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
  Hybrid systems: from verification to falsification by combining motion planning and discrete search. 157-182
  Electronic Edition (link) BibTeX
• Thao Dang, Tarik Nahhal:
  Coverage-guided test generation for continuous and hybrid systems. 183-213
  Electronic Edition (link) BibTeX