Specification and Proof in Real Time CSP |
|
Author:
| Davies, Jim |
Series title: | Distinguished Dissertations in Computer Science Ser. |
ISBN: | 978-1-107-40386-4 |
Publication Date: | Jan 2012 |
Publisher: | Cambridge University Press
|
Book Format: | Paperback |
List Price: | USD $63.99 |
Book Description:
|
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.