External Links

    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
    runs on