External Links

    Journal: Formal Methods in System Design

    Volume 4, Issue 3

    213 -- 242Andrew M. Bailey, George A. McCaskill, George J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs
    243 -- 263Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini. Assisting Requirement Formalization by Means of Natural Language Translation
    265 -- 310Victoria Stavridou. Gordon s Computer: A Hardware Verification Case Study in OBJ3
    runs on