La principal aplicación de ACL2 se encuentra en la verificación formal de sistemas hardware cuya seguridad es crítica.