Journal: Formal Methods in System Design

Volume 1, Issue 4

297 -- 322Antti Valmari. A Stubborn Attack on State Explosion
323 -- 354Henrik Reif Andersen, Glynn Winskel. Compositional Checking of Satsfaction
355 -- 383Paul Loewenstein. Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic
385 -- 415Costas Courcoubetis, Mihalis Yannakakis. Minimum and Maximum Delay Problems in Real-Time Systems

Volume 1, Issue 2/3

151 -- 238Aarti Gupta. Formal Hardware Verification Methods: A Survey
239 -- 249Valérie Roy, Robert de Simone. Auto/Autograph
251 -- 273Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron. On-the-fly Verification of Finite Transition Systems
275 -- 288Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis. Memory-Efficient Algorithms for the Verification of Temporal Properties

Volume 1, Issue 1

7 -- 28Zhou Chaochen, C. A. R. Hoare. A Model for Synchronous Switching Circuits and its Theory of Correctness
29 -- 60David L. Dill, Steven M. Nowick, Robert F. Sproull. Specification and Automatic Verification of Self-Timed Queues
61 -- 115Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell. Probabilistic Verification of Boolean Functions
117 -- 137Alain J. Martin. Asynchronous Datapaths and the Design of an Asynchronous Adder