Preface
“If you don’t know where you’re going, it doesn’t really matter which path you take.” | ||
| --(Lewis Carroll, 1832–1898) | ||
“You got to be careful if you don’t know where you’re going, because you might not get there.” | ||
| --(Yogi Berra, 1925–) | ||
“The worst thing about new books is that they keep us from reading the old ones.’’ | ||
| --(Joseph Joubert, 1754–1824) | ||
A system is correct if it meets its design requirements. This much is agreed. But if the system we are designing is a piece of software, especially if it involves concurrency, how can we show this? It is not enough to merely show that a system can meet its requirements. A few tests generally suffice to demonstrate that. The real test is to show that a system cannot fail to meet its requirements. ...
Get Spin Model Checker, The: Primer and Reference Manual now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
