Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Real-world Issues for Dependable Software

Lookup NU author(s): Emeritus Professor John Dobson


Full text is not currently available for this publication.


No matter how complete and extensive the formal verification process , the reliability of a system design can be no better than the formal specification. It is particularly important that this should accurately reflect the human expectations of the system and that the specification should be analysed from the point of view of the threats to the system, particularly if it is requred to be resistant to deliberate attack as well as accidental error. This paper points out some of the problems in preparing a formal specification and proposes an analysis technique for highlighting potential problems.

Publication metadata

Author(s): Dobson JE

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1988

Report Number: 268

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne