A Platform for Combining Deductive with Algorithmic Verification.

Amir Pnueli, Elad Shahar

Browse the full CAV paper archive.