この資料をSMS送信: Hardware Verification using Higher−Order Logic