Model Checking (book)
E241708
UNEXPLORED
"Model Checking" is a foundational textbook that systematically presents the theory and practice of using automated verification techniques to prove correctness properties of hardware and software systems.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
notableWork |