External Links

    Journal: Formal Methods in System Design

    Volume 18, Issue 3

    171 -- 207Kostas N. Oikonomou. Abstractions of Random Finite-State Machines
    209 -- 231Radomir S. Stankovic. Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions
    233 -- 248Matthew Wilding, David A. Greve, David Hardin. Efficient Simulation of Formal Processor Models
    249 -- 284Graeme Smith, John Derrick. Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP
    285 -- 301Christoph Meinel, Thorsten Theobald. Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

    Volume 18, Issue 2

    95 -- 0Orna Grumberg. Introduction: Special Issue on CAV 97
    97 -- 116Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. Partial-Order Reduction in Symbolic State-Space Exploration
    117 -- 129Ulrich Stern, David L. Dill. Parallelizing the Murj Verifier
    131 -- 140R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi. A New Heuristic for Bad Cycle Detection Using BDDs
    141 -- 163Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh. Efficient Detection of Vacuity in Temporal Model Checking

    Volume 18, Issue 1

    5 -- 23Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen. Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
    25 -- 68Stavros Tripakis, Sergio Yovine. Analysis of Timed Systems Using Time-Abstracting Bisimulations
    69 -- 88Krishnaprasad Thirunarayan, Robert L. Ewing. Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
    runs on