Formal Methods For Developing High Assurance Computer Systems: Working Group Report

Second IEEE Workshop on Industrial Strength Formal Specification Techniques p. 60
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
Mats P.E. Heimdahl, University of Minnesota
Constance L. Heitmeyer, Naval Research Laboratory

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766298
Send link to a friend

Abstract
The Second International Workshop on Industrial- Strength Formal Techniques (WIFT'98) was held in October, 1998, in Boca Raton, Florida. At the workshop, four different discussion groups investigated various topics. This report summarizes the discussions conducted on the topic: Formal Methods for Developing High Assurance Systems.
Back to Top Additional Information
Citation: Mats P.E. Heimdahl, Constance L. Heitmeyer, "Formal Methods For Developing High Assurance Computer Systems: Working Group Report," wift, p. 60, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998

	Advanced Search
CS Search Google Search