Comparing verification systems: interactive consistency in ACL2 | IEEE Journals & Magazine | IEEE Xplore