External Links

    Journal: Formal Methods in System Design

    Volume 25, Issue 1

    5 -- 38Jens Chr. Godskesen. Connectivity Testing
    39 -- 65Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson. Using Forward Reachability Analysis for Verification of Lossy Channel Systems
    67 -- 96Karen Yorav, Orna Grumberg. Static Analysis for State-Space Reductions Preserving Temporal Logics
    runs on