External Links

    Journal: Formal Methods in System Design

    Volume 30, Issue 3

    177 -- 178Andrew Butterfield, Juan Bicarregui, Alvaro Arenas. Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
    179 -- 198Martin Fränzle, Christian Herde. HySAT: An efficient proof engine for bounded model checking of hybrid systems
    199 -- 216Yunja Choi. From NuSMV to SPIN: Experiences with model checking flight guidance systems
    217 -- 232Akram Idani, Yves Ledru. Object oriented concepts identification from formal B specifications
    233 -- 247Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van. Early verification and validation of mission critical systems
    249 -- 273Miguel Valero Espada, Jaco van de Pol. An abstract interpretation toolkit for µCRL

    Volume 30, Issue 2

    83 -- 116Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. Providing a formal linkage between MDG and HOL
    117 -- 141L. Feng, W. Murray Wonham, P. S. Thiagarajan. Designing communicating transaction processes by supervisory control theory
    143 -- 176Victor Khomenko, Maciej Koutny. Verification of bounded Petri nets using integer programming

    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