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.
"synopsis" may belong to another edition of this title.
Book Description McGraw-Hill Publishing Co. 01/10/1994, 1994. Book Condition: used-good. - GREAT BOOK IN GOOD OR BETTER CONDITION, NORMALLY SENT SAME DAY FROM WAREHOUSE. Bookseller Inventory # 7719-9780077090524
Book Description Mcgraw Hill Book Co Ltd, 1995. Hardcover. Book Condition: As New. As New. book. Bookseller Inventory # F4S8-5-Z-0077090527-5
Book Description Book Condition: Good. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The Mcgraw-Hill International Series in Software). Bookseller Inventory # Amz4859595