Formal Methods in System Design, Volume 19

Volume 19, Number 1, July 2001

Albert Benveniste, Axel Poigné: Foreword. 5-6 BibTeX
Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu: Bounded Model Checking Using Satisfiability Solving. 7-34 BibTeX
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 BibTeX
Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. 45-80 BibTeX
Klaus Winkelmann: Formal Methods in Designing Embedded Systems-the SACRES Experience. 81-110 BibTeX

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 BibTeX
Werner Damm, Jochen Klose: Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. 121-141 BibTeX
Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Using Hybrid Automata to Support Human Factors Analysis in a Critical System. 143-164 BibTeX
Judi Romijn: A Timed Verification of the IEEE 1394 Leader Election Protocol. 165-194 BibTeX
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 BibTeX

Detlef Sieling, Ingo Wegener: A Comparison of Free BDDs and Transformed BDDs. 223-236 BibTeX
Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri: Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. 237-273 BibTeX
Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. 275-289 BibTeX
Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. 291-314 BibTeX