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

Magali Contensin Laurence Pierre Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. 75- 2003 conf/memocode/2003 MEMOCODE http://csdl.computer.org/comp/proceedings/memocode/2003/1923/00/19230075abs.htm db/conf/memocode/memocode2003.html#ContensinP03