Journal: Formal Methods in System Design

Volume 6, Issue 1

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