Languages & software2007
Checking every reachable possibility
Model checking turns a system’s behaviour into a graph that can be explored automatically.
The storyACM A. M. Turing Award
2007
Checking every reachable possibility
ACM A. M. Turing Award
Checking every reachable possibility
Model checking turns a system’s behaviour into a graph that can be explored automatically.
The story