@device(postscript)
@libraryfile(Mathematics10)
@libraryfile(Accents)
@style(fontfamily=timesroman,fontscale=11)
@pagefooting(immediate, left "@c<Technical Report 1996>",
center "@c<Computer Science>",
right "@c<Carnegie Mellon>")
@heading(Formal Methods: State of the Art and Future Directions)
@heading(CMU-CS-96-178)
@center(@b(Edmund M. Clarke, Jeannette M. Wing))
@center(September 1996)
@center(FTP: CMU-CS-96-178.ps)
@blankspace(1)
@begin(text)

This paper will appear as part of a special issue of the @i(ACM Computing
Surveys) devoted to reporting on the ACM Strategic Directions in Computing
Research Workshop held at MIT, Cambridge, MA, June 14-15, 1996.  The
Formal Methods Working Group members, not all of whom attended the meeting
are: Rajeev Alur, Edmund Clarke (co-chair), Rance Cleaveland, David Dill,
Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall,
Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson,
Kenneth McMillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan
Shankar, Joseph Sifakis, Prasad Sistla, Berhard Steffen, Pierre Wolper,
Jeannet Wing (co-chair), Jim Woodcock, and Pamela Zave.

@blankspace(2line)
@begin(transparent,size=10)
@b(Keywords:@ )@c<Software engineering, formal methods, formal specification,
hardware verification, model checking, theorem proving>
@end(transparent)
@blankspace(1line)
@end(text)
@flushright(@b[(24 pages)])