Modal and Temporal Properties of Processes
Download or Read eBook Modal and Temporal Properties of Processes PDF written by Colin Stirling and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 199 pages. Available in PDF, EPUB and Kindle.
| Author | : Colin Stirling |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 199 |
| Release | : 2013-03-14 |
| ISBN-10 | : 9781475735505 |
| ISBN-13 | : 1475735502 |
| Rating | : 4/5 (05 Downloads) |
Book Synopsis Modal and Temporal Properties of Processes by : Colin Stirling
Book excerpt: In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
