Partial Orders for Efficient Bounded Model Checking of Concurrent Software.

Jade Alglave, Daniel Kroening, Michael Tautschnig

Browse the full CAV paper archive.