Deductive Model Checking.

Henny Sipma, Toms E. Uribe, Zohar Manna

Browse the full CAV paper archive.