Formal Methods in System Design, Volume 15

Volume 15, Number 1, July 1999

• Rajeev Alur, Thomas A. Henzinger: Introduction. 5 BibTeX
• Rajeev Alur, Thomas A. Henzinger: Reactive Modules. 7-48 BibTeX
• Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. 49-74 BibTeX
• Saddek Bensalem, Yassine Lakhnech: Automatic Generation of Invariants. 75-92 BibTeX

Volume 15, Number 2, September 1999

• David A. Basin, Stefan Friedrich: Modeling a Hardware Synthesis Methodology in Isabelle. 99-122 BibTeX
• Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, T. Boucher: A Comparative Study of Synthesis Methods for Discrete Event Controllers. 123-167 BibTeX

Volume 15, Number 3, November 1999

• Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. 175-199 BibTeX
• Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. 201-215 BibTeX
• Viktor Gyuris, A. Prasad Sistla: On-the-Fly Model Checking Under Fairness that Exploits Symmetry. 217-238 BibTeX
• Karsten Schmidt: Model-Checking with Coverability Graphs. 239-254 BibTeX