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.
Author(s): Dobson JE
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Report Number: 268
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne