External Links

    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
    runs on