Үүнийг мессежээр илгээх: Hardware Verification using Higher−Order Logic