أرسل هذا في رسالة قصيرة: Hardware Verification using Higher−Order Logic