Industrial-Strength Formal Specification Techniques, Workshop on (1998)
Boca Raton, Florida
Oct. 20, 1998 to Oct. 23, 1998
ISBN: 0-7695-0081-1
Keynote Speaker I
Tools Session I:
Paper Session I:
Integrating Formal and Informal Specification Techniques. Why? How?
Formal Methods for Developing High Assurance Computer Sytems: Working Group Report
A Discussion about Integrated Techniques
Betty H.C. Cheng , Michigan State University
pp. 65
Keynote Speaker II
Tools II:
Paper Session II:
Yassine Lakhnech , Christian-Albrechts Universit?t zu Kiel
Erich Mikk , Christian-Albrechts Universit?t zu Kiel
Gerard J. Holzmann , Bell Laboratories
pp. 90
Andy S. Evans , University of York
pp. 102
Transferring Formal Methods Technology to Industry
Incorporating Formal Methods into Industrial Processes
Requirements for Industrial-Strength Formal Method Tools
Position Paper: