Enviar aquest missatge de text: Partial orders for efficient bounded model checking of concurrent software