Yasm: A Software Model-Checker for Verification and Refutation.

Arie Gurfinkel, Ou Wei, Marsha Chechik

Browse the full CAV paper archive.