External Links

    Journal: Formal Methods in System Design

    Volume 16, Issue 3

    227 -- 270Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
    271 -- 305John Harrison. Floating Point Verification in HOL Light: The Exponential Function
    307 -- 320Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

    Volume 16, Issue 2

    127 -- 158F. Keith Hanna. Reasoning About Analog-Level Implementations of Digital Systems
    159 -- 189Javier Esparza, Stephan Melzer. Verification of Safety Properties Using Integer Programming: Beyond the State Equation
    191 -- 218Janusz A. Brzozowski, H. Zhang. Delay-Insensitivity and Semi-Modularity

    Volume 16, Issue 1

    5 -- 6Ganesh Gopalakrishnan. Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications
    7 -- 22Ásgeir Th. Eiríksson. The Formal Design of 1M-gate ASICs
    23 -- 58Mary Sheeran, Gunnar Stålmarck. A Tutorial on Stålmarck s Proof Procedure for Propositional Logic
    59 -- 91Nazanin Mansouri, Ranga Vemuri. Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs
    93 -- 119Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan. Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
    runs on