Principles of Model Checkingthe_mit_press978-02-6202-649-997802620264992008-04-25English (United States)984HardcoverBook profileEnglish (United States)
Book · 1 edition
Principles of Model Checking
- 2008
- first published
- English
- language
- 1
- edition in English
- 984
- pages
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our...
Editions
1 edition · sort: newestPrinciples of Model Checkingthe_mit_press978-02-6202-649-997802620264992008-04-25English (United States)984Hardcover