FM Program: University of Virginia

Professor John Knight and his students at the University of Virginia , in formal partnership with Northrup-Grumman (formerly Litton), are working to identify and develop methods and tools to facilitate integration of formal verification methods into the traditional software development lifecycle.

The following papers and abstracts describe some of this work. Note, all of the links are , and to PDF files (Download Adobe Acrobat Reader if needed).

• Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk, A Linguistic Analysis of Requirements Errors and Its Application, University of Virginia, Department of Computer Science, Technical Report CS-2001-30 (November 2001)
• Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk, "Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction", in the Proceedings of the 26 Annual NASA Goddard Software Engineering Workshop (IEEE/NASA SEW-26), 27-29 November 2001, Greenbelt, MD
• Knight, John C., Kimberly S. Hanks, and Sean R. Travis, "Tool Support for Production Use of Formal Techniques", International Symposium on Software Reliability Engineering, Hong Kong (November 2001)
• Hanks, Kimberly, S., John C. Knight, "Improving Dependability through the Application of Rigorous Theoretical Linguistics to Requirements Capture", Fastabstracts: International Conference of Dependable Systems and Networks, Goteborg, Sweden (July 2001)

Note: The tag identifies links that are outside of the NASA domain.