Model Checking vs. Theorem Proving: A Manifesto.

Joseph Y. Halpern, Moshe Y. Vardi

Browse the full KR paper archive.