Survivability Analysis of Networked Systems, Somesh Jha and Jeannette M. Wing,
Proceedings of the International Conference on Software Engineering,
Toronto, May 2001.
Earlier version available as CMU-CS-00-168, October 2000.

Formal Methods: State of the Art and Future Directions, Edmund M. Clarke and Jeannette M. Wing,
report by the Working Group on Formal Methods for the ACM
Workshop on Strategic Directions in Computing Research, ACM Computing Surveys, vol. 28, no. 4, December 1996,
pp. 626-643.
Also CMU-CS-96-178.

Students

Research Projects

Specification and Verification Center: Specification and
verification tools, languages, and methods for hardware and software systems.
Co-PIs: Ed Clarke, David Garlan, Bruce Krogh, Reid Simmons.
Sponsored by the Army Research Office (David Hislop, program manager), National Science Foundation, and NASA/Ames.