External Links

    Journal: Formal Methods in System Design

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