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