What do you think?
Rate this book
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers
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 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.
175 pages, Hardcover
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.