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

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

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