default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 19
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
- Detlef Sieling, Ingo Wegener:
A Comparison of Free BDDs and Transformed BDDs. 223-236 - 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 - Doron A. Peled, Antti Valmari, Ilkka Kokkarinen:
Relaxed Visibility Enhances Partial Order Reduction. 275-289 - Orna Kupferman, Moshe Y. Vardi:
Model Checking of Safety Properties. 291-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
