External Links

    Journal: Formal Methods in System Design

    Volume 15, Issue 1

    5 -- 0Rajeev Alur, Thomas A. Henzinger. Introduction
    7 -- 48Rajeev Alur, Thomas A. Henzinger. Reactive Modules
    49 -- 74Henny Sipma, Tomás E. Uribe, Zohar Manna. Deductive Model Checking
    75 -- 92Saddek Bensalem, Yassine Lakhnech. Automatic Generation of Invariants
    runs on