Enviar aquest missatge de text: Hardware Verification using Higher−Order Logic