External Links

    Journal: Formal Methods in System Design

    Volume 6, Issue 3

    239 -- 258Anders Børjesson, Kim Guldstrand Larsen, Arne Skou. Generality in Design and Compositional Verification Using TAV
    259 -- 293Ferhat Khendek, Gregor von Bochmann. Merging Behavior Specifications
    295 -- 320Jørgen Staunstrup, Niels Mellergaard. Localized Verification of Modular Designs

    Volume 6, Issue 2

    133 -- 145Olivier Coudert, Jean Christophe Madre. The Implicit Set Paradigm: A New Approach to Finite State System Verification
    147 -- 189Carl-Johan H. Seger, Randal E. Bryant. Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
    191 -- 216Ramin Hojati, Robert K. Brayton. An Environment for Formal Verification Based on Symbolic Computations
    217 -- 232Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol

    Volume 6, Issue 1

    11 -- 44Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems
    45 -- 65Kenneth L. McMillan. A Technique of State Space Search Based on Unfolding
    67 -- 95Felice Balarin, Alberto L. Sangiovanni-Vincentelli. An Iterative Approach to Verification of Real-Time Systems
    97 -- 123James C. Corbett, George S. Avrunin. Using Integer Programming to Verify General Safety and Liveness Properties
    runs on