Volume 19,
Number 1,
July 2001
- Albert Benveniste, Axel Poigné:
Foreword.
5-6
- Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu:
Bounded Model Checking Using Satisfiability Solving.
7-34
- Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham:
On the Effective Deployment of Functional Formal Verification.
35-44
- Werner Damm, David Harel:
LSCs: Breathing Life into Message Sequence Charts.
45-80
- Klaus Winkelmann:
Formal Methods in Designing Embedded Systems-the SACRES Experience.
81-110
Volume 19,
Number 2,
September 2001
- Stefania Gnesi, Diego Latella:
Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers.
119-120
- Werner Damm, Jochen Klose:
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.
121-141
- Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti:
Using Hybrid Automata to Support Human Factors Analysis in a Critical System.
143-164
- Judi Romijn:
A Timed Verification of the IEEE 1394 Leader Election Protocol.
165-194
- Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron:
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.
195-215
Volume 19,
Number 3,
November 2001
Copyright © Mon Nov 2 21:36:10 2009
by Michael Ley (ley@uni-trier.de)
