Formal Methods in System Design, Volume 6

Volume 6, Number 1, January 1995

• Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem:
  Property Preserving Abstractions for the Verification of Concurrent Systems. 11-44
  
• Kenneth L. McMillan:
  A Technique of State Space Search Based on Unfolding. 45-65
  
• Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
  An Iterative Approach to Verification of Real-Time Systems. 67-95
  
• James C. Corbett, George S. Avrunin:
  Using Integer Programming to Verify General Safety and Liveness Properties. 97-123
  

Volume 6, Number 2, March 1995

• Olivier Coudert, Jean Christophe Madre:
  The Implicit Set Paradigm: A New Approach to Finite State System Verification. 133-145
  
• Carl-Johan H. Seger, Randal E. Bryant:
  Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories. 147-189
  
• Ramin Hojati, Robert K. Brayton:
  An Environment for Formal Verification Based on Symbolic Computations. 191-216
  
• Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness:
  Verification of the Futurebus+ Cache Coherence Protocol. 217-232
  

Volume 6, Number 3, June 1995

• Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
  Generality in Design and Compositional Verification Using TAV. 239-258
  
• Ferhat Khendek, Gregor von Bochmann:
  Merging Behavior Specifications. 259-293
  
• Jørgen Staunstrup, Niels Mellergaard:
  Localized Verification of Modular Designs. 295-320
  

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