Login / Signup
On the costs and benefits of using partial-order methods for the verification of concurrent systems.
Patrice Godefroid
Published in:
Partial Order Methods in Verification (1996)
Keyphrases
</>
partial order
concurrent systems
temporal logic
partially ordered
artificial intelligence
bayesian networks
software engineering
logic programs
formal specification
total order