Login / Signup
Partial Orders for Efficient BMC of Concurrent Software
Jade Alglave
Daniel Kroening
Michael Tautschnig
Published in:
CoRR (2013)
Keyphrases
</>
partial order
partially ordered
total order
software development
computer systems
stable marriage
software architecture
software tools
partial ordering