Journal: Formal Methods in System Design

Volume 15, Issue 3

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

Volume 15, Issue 2

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

Volume 15, Issue 1

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