A Heuristic Approach to Program Verification.

Shmuel Katz, Zohar Manna

Browse the full IJCAI paper archive.