3 ms·
Haven't seen it, but I'll check it out. Thanks for the pointer.
by catnaroek 10y ago
Haven't seen it, but I'll check it out. Thanks for the pointer.
- nickpsecurity 10y agoForgot to add the link so you can see what such a process might look like. Here's slides and a paper on one that merged HOL and ACL2. But it verified that in HOL4, not ACL2. https://www.cs.utexas.edu/~hunt/FMCAD/FMCAD06/presentations/FMCAD-2006-Wednesday/Session2-Hunt.pdf https://www.cs.utexas.edu/~hunt/FMCAD/FMCAD06/presentations/... http://www.ccs.neu.edu/home/pete/acl206/papers/gordon.pdf http://www.ccs.neu.edu/home/pete/acl206/papers/gordon.pdf