Information on the SSAC project is here . Ricky W. Butler and J. A. Sjogren. A PVS Graph Theory Library . C. Michael Holloway. Why Engineers Should Consider Formal Methods .
Presentation slides are available .
Fourth NASA Formal Methods Workshop . NASA Conference Publication 3356, NASA Langley Research Center, Hampton, Virginia, September 1997. Ben L. Di Vito. Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request . NASA Contractor Report 4752, NASA Langley Research Center, Hampton, Virginia, August 1996.