External Links

    Journal: Formal Methods in System Design

    Volume 2, Issue 3

    231 -- 257Michael C. McFarland. Formal Analysis of Correctness of Behavioral Transformations
    259 -- 276Ghislaine Thuau, Bachir Berkane. A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems
    277 -- 321Kshirasagar Naik, Behçet Sarikaya. Test Case Verification by Model Checking
    runs on