default search action
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
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.