Model checking versus theorem proving: A manifesto (1991)

by J Y Halpern, M Y Vardi
Venue:and Mathematical Theory of Computation— Papers in Honor of John McCarthy