Safety-critical systems - used, for example, in defence and aircraft navigation - are one of the most crucial areas of today's software development. Based on the ESPRIT ProCoS (Provably Correct Systems) project, this book shows how to apply engineering principles to this field. The aims of the book are twofold: firstly, to apply formal methods to communication languages, designed to create a high degree of confidence in compilers; secondly, to tackle the general problems of verifying large software systems. These subjects are presented in terms of both the model-oriented and the algebraic forms of specification. These techniques can be applied to both hardware and software.
- ISBN10 0077090527
- ISBN13 9780077090524
- Publish Date 1 October 1994
- Publish Status Out of Print
- Out of Print 10 July 1997
- Publish Country GB
- Publisher McGraw-Hill Education - Europe
- Imprint McGraw-Hill Publishing Co.
- Format Hardcover
- Pages 175
- Language English