Gravar-mail: Industrial hardware and software verification with ACL2