The Proof of Correctness Approach to Reliable Systems.
MITRE CORP BEDFORD MASS
Pagination or Media Count:
The work on proof of correctness of programs is identified as the only method leading to guaranteed reliability of software. A survey of the literature on this subject is given. The approaches and results are analyzed and research projects are proposed which apply these results to the building of reliable software systems. Author
- Computer Programming and Software