この資料をSMS送信: Verification, model checking, and abstract interpretation :