Үүнийг мессежээр илгээх: Partial orders for efficient bounded model checking of concurrent software