External Links

    Journal: Formal Methods in System Design

    Volume 31, Issue 1

    1 -- 33Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli. Refinement preserving approximations for the design and verification of heterogeneous systems
    35 -- 61Abhay Vardhan, Mahesh Viswanathan. Learning to verify branching time properties
    63 -- 100Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner. Exploiting interleaving semantics in symbolic state-space generation
    runs on