Section 1.
Luigi Logrippo:
Introduction by the Moderator
Section 2.
Jean-Pierre Courtiat:
Formal Methods: From An Academic To An Industrial Perspective
Section 3.
Piotr Dembinski:
Ups and Downs
Of Formal Methods
Section 4. Gerard Holzmann: Formal Methods: Trends and Speculations
Section 5. Harry Rudin: FDTs for the Real World
Section 6.
Pamela Zave:
The Trend Toward
Application-Specific Research
(contains a PostScript figure)
Section 7. Luigi Logrippo: Moderator's Conclusions