この資料をSMS送信: Partial orders for efficient bounded model checking of concurrent software