External Links

    Journal: Formal Methods in System Design

    Volume 17, Issue 3

    199 -- 200Jeannette M. Wing, Jim Woodcock. Introduction: Special Issues for FM 99, the First World Congress on Formal Methods in the Development of Computing Systems
    201 -- 220Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. Logic Based Abstractions of Real-Time Systems
    221 -- 243Jean-François Monin. Proving the Correctness of the Standardized Algorithm for ABR Conformance
    245 -- 272Denis Sabatier, Pierre Lartigue. The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

    Volume 17, Issue 2

    107 -- 134Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton. Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks
    135 -- 161Gérard Berry, Ellen Sentovich. An Implementation of Constructive Synchronous Programs in POLIS
    163 -- 192Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg. Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

    Volume 17, Issue 1

    5 -- 37Michael Mendler. Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
    39 -- 60Farn Wang. Parametric Analysis of Computer Systems
    61 -- 99Roberto M. Amadio, Sanjiva Prasad. Modelling IP Mobility
    runs on