Industrial hardware and software verification with ACL2. - Hunt Jr., Warren A.; Kaufmann, Matt; Moore, J. Strother; Slobodova, Anna (Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences, 2017)