External Links

    Journal: Formal Methods in System Design

    Volume 20, Issue 3

    231 -- 247Ratan Nalumasu, Ganesh Gopalakrishnan. An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation
    249 -- 284Teodor Rus, Eric {Van Wyk}, Tom Halverson. Generating Model Checkers from Algebraic Specifications
    285 -- 310Javier Esparza, Stefan Römer, Walter Vogler. An Improvement of McMillan s Unfolding Algorithm
    311 -- 326Christoph Scholl, Bernd Becker, Thomas M. Weis. On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division

    Volume 20, Issue 2

    135 -- 137Warren A. Hunt Jr.. Introduction: Special Issue on Microprocessor Verifications
    139 -- 158Robert B. Jones, Jens U. Skakkebæk, David L. Dill. Formal Verification of Out-of-Order Execution with Incremental Flushing
    159 -- 186Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu. Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
    187 -- 222Jun Sawada, Warren A. Hunt Jr.. Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability

    Volume 20, Issue 1

    5 -- 0Dominique Méry, Beverly A. Sanders. Editorial Note
    7 -- 21K. Mani Chandy, Michel Charpentier. An Experiment in Program Composition and Proof
    23 -- 45Jayadev Misra. A Simple, Object-Based View of Multiprogramming
    47 -- 68Gruia-Catalin Roman, Peter J. McCann. A Notation and Logic for Mobile Computing
    69 -- 89Jean-Paul Bodeveix, Mamoun Filali. Reduction and Quantifier Elimination Techniques for Program Validation
    91 -- 106Ruben Gamboa. The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
    107 -- 125Ratan Nalumasu, Ganesh Gopalakrishnan. Deriving Efficient Cache Coherence Protocols Through Refinement
    runs on