Formal 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 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
  

Last update Wed May 22 17:36:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page