Login / Signup
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
Patrice Godefroid
Pierre Wolper
Published in:
Formal Methods Syst. Des. (1993)
Keyphrases
</>
partial order
partially ordered
total order
lattice structure
stable marriage
desirable properties
face verification