Toggle Main Menu Toggle Search

ePrints

Proof in the Analysis of a Model of a Tracking System

Lookup NU author(s): Professor John Fitzgerald, Professor Cliff Jones

Downloads


Abstract

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.


Publication metadata

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


Share