Văn bản này: Partial orders for efficient bounded model checking of concurrent software