Automated Verification = Graphs, Automata, and Logic.

Moshe Y. Vardi

Browse the full CSL paper archive.