Model Checking
Download or Read eBook Model Checking PDF written by Edmund M. Clarke and published by MIT Press. This book was released on 1999 with total page 346 pages. Available in PDF, EPUB and Kindle.
| Author | : Edmund M. Clarke |
| Publisher | : MIT Press |
| Total Pages | : 346 |
| Release | : 1999 |
| ISBN-10 | : 0262032708 |
| ISBN-13 | : 9780262032704 |
| Rating | : 4/5 (08 Downloads) |
Book Synopsis Model Checking by : Edmund M. Clarke
Book excerpt: This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
