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..
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.