Applications of formal methods

Front Cover
Michael Michael Gerard Hinchey, J. Jonathan Peter Bowen
Prentice Hall PTR, 1995 - Computers - 447 pages
0 Reviews
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Using Mathematical Models in the Inspection
17
Gaining Assurance with Formal Methods
33
Formal Specification of an Architecture for
55
Copyright

15 other sections not shown

Common terms and phrases

References to this book

All Book Search results »