Handbook of Model Checking
by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
A definitive reference compiling advances in model checking for verifying complex hardware and software systems.
About This Book
Handbook of Model Checking serves as a key reference for researchers and practitioners in formal verification.
It covers foundational concepts, algorithms, and tools used to verify hardware and software systems.
The volume brings together contributions from leading experts in the field.
Topics include temporal logic, state-space exploration, and abstraction techniques.
Reviews
No reviews yet. Be the first to review this book!