Formal Methods in System Design, Volume 17

Volume 17, Number 1, August 2000

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

Volume 17, Number 2, October 2000

• Stefano 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. 107-134 BibTeX
• Gérard Berry, Ellen Sentovich: An Implementation of Constructive Synchronous Programs in POLIS. 135-161 BibTeX
• Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. 163-192 BibTeX

Volume 17, Number 3, December 2000

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