この資料をSMS送信: Symbolic model checking / by Kenneth L. McMillan.