Browse by author
Lookup NU author(s): Professor John Fitzgerald, Professor Cliff JonesORCiD
Fully formal proof is not always possible within the financial and labour constraints of a commercial project. This report shows how knowledge of the structure of a proof can guide inspections and reviews, even when the proof itself is not to be derived. The study illustrates, on a reduced example, the main issues which arose as part of the proof-based analysis of a specification of a tracking mechanism for a nuclear plant.
Author(s): Fitzgerald JS, Jones CB
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1997
Pages: 26
Print publication date: 01/01/1997
Source Publication Date: 1997
Report Number: 617
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/617.pdf
