Partial Orders for Efficient Bounded Model Checking of Concurrent Software.

Jade Alglave Daniel Kroening Michael Tautschnig

Published in: CAV (2013)

Keyphrases

partial order
bounded model checking
partially ordered
multi dimensional
test cases
software architecture
partial ordering
total order
stable marriage
data structure
model checking
lattice structure
totally ordered