Provably Correct Systems
Modelling of Communication Languages and Design of Optimized Compilers
Published on 1. October 1994
Book
Hardback
175 pages
978-0-07-709052-4 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
4ill.
Dimensions
Height: 246 mm
Width: 189 mm
Weight
5400 gr
ISBN-13
978-0-07-709052-4 (9780077090524)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Algebra and models; a formal model for communication processes; programming language PL; refinement algebra; compilation; machine languge ML; simulation; compiling specification; code optimization; rapid compiler implementation.