Model Checking of Safety Properties.

Orna Kupferman, Moshe Y. Vardi

Browse the full CAV paper archive.