External Links

    Journal: Formal Methods in System Design

    Volume 10, Issue 1

    5 -- 0Edmund M. Clarke. Editorial
    7 -- 46Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny. Multiway Decision Graphs for Automated Hardware Verification
    47 -- 71Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi. Another Look at LTL Model Checking
    73 -- 92Walling R. Cyre, Aniruddha Thakar. Generating Validation Feedback for Automatic Interpretation of Informal Requirements
    93 -- 125Michael Merritt, Ariel Orda, Sonia R. Sachs. Formal Verification of a Distributed Computer System
    runs on