Industrial-Strength Formal Specification Techniques, Workshop on (1998)
Boca Raton, Florida
Oct. 20, 1998 to Oct. 23, 1998
TABLE OF CONTENTS
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
Keynote Speaker II
Paper Session II:
Beat Koch , University of L?
Jens Grabowski , University of L?
Dieter Hogrefe , University of L?
Michael Schmitt , University of L?
Transferring Formal Methods Technology to Industry
Incorporating Formal Methods into Industrial Processes
Requirements for Industrial-Strength Formal Method Tools