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 BibTeX
Kenneth L. McMillan: A Technique of State Space Search Based on Unfolding. 45-65 BibTeX
Felice Balarin, Alberto L. Sangiovanni-Vincentelli: An Iterative Approach to Verification of Real-Time Systems. 67-95 BibTeX
James C. Corbett, George S. Avrunin: Using Integer Programming to Verify General Safety and Liveness Properties. 97-123 BibTeX

Olivier Coudert, Jean Christophe Madre: The Implicit Set Paradigm: A New Approach to Finite State System Verification. 133-145 BibTeX
Carl-Johan H. Seger, Randal E. Bryant: Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories. 147-189 BibTeX
Ramin Hojati, Robert K. Brayton: An Environment for Formal Verification Based on Symbolic Computations. 191-216 BibTeX
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 BibTeX

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