An Integrated Formal Approach for Developing High Quality Software for Safety-Critical Systems
This report presents the results of a study which devises an Integrated Formal Approach (IFA) for improving specifications of the designs of computer programs used in safety-critical systems. In this IFA, the formal specification techniques of a formal method — Development Before The Fact (DBTF) and...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Technical Report |
| Published: |
Massachusetts Institute of Technology. Center for Advanced Nuclear Energy Systems. Advanced Nuclear Power Program
2011
|
| Online Access: | http://hdl.handle.net/1721.1/67642 |