External Links

    Journal: Formal Methods in System Design

    Volume 30, Issue 1

    1 -- 3Constance L. Heitmeyer, Jean-Pierre Talpin. Guest editorial
    5 -- 28Edmund M. Clarke, Himanshu Jain, Daniel Kroening. Verification of SpecC using predicate abstraction
    29 -- 47Cagkan Erbas, Andy D. Pimentel, Selin Cerav Erbas. Static priority scheduling of event-triggered real-time embedded systems
    49 -- 0Cagkan Erbas, Andy D. Pimentel, Selin Cerav Erbas. Static priority scheduling of event-triggered real-time embedded systems
    51 -- 81Tobias Schüle, Klaus Schneider. Bounded model checking of infinite state systems
    runs on