Symbolic Model Checking: An Approach to the State-Explosion Problem (1993)

by K McMillan