Formal Methods in System Design, Volume 23

Volume 23, Number 1, July 2003

• Bertrand Jeannet:
  Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. 5-37
  Electronic Edition (link) BibTeX
• Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz:
  An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. 39-65
  Electronic Edition (link) BibTeX
• Jürgen Ruf, Thomas Kropf:
  Symbolic Verification and Analysis of Discrete Timed Systems. 67-108
  Electronic Edition (link) BibTeX

Volume 23, Number 2, September 2003

• Marcelo Glusman, Shmuel Katz:
  A Mechanized Proof Environment for the Convenient Computations Proof Method. 115-142
  Electronic Edition (link) BibTeX
• Heike Wehrheim:
  Behavioral Subtyping Relations for Active Objects. 143-170
  Electronic Edition (link) BibTeX
• Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
  Formal Verification of a Complex Pipelined Processor. 171-213
  Electronic Edition (link) BibTeX

Volume 23, Number 3, November 2003

• Janusz A. Brzozowski, Zoltán Ésik:
  Hazard Algebras. 223-256
  Electronic Edition (link) BibTeX
• Giorgio Delzanno:
  Constraint-Based Verification of Parameterized Cache Coherence Protocols. 257-301
  Electronic Edition (link) BibTeX
• Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
  From Pre-Historic to Post-Modern Symbolic Model Checking. 303-327
  Electronic Edition (link) BibTeX