Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.

Magali Contensin, Laurence Pierre

Browse the full MEMOCODE paper archive.