Model checking and abstraction (1994)

by E M Clarke, O Grumberg, D E Long
Venue:ACM Trans