Login / Signup

Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.

Patrice GodefroidPierre Wolper
Published in: CAV (1991)
Keyphrases
  • partial order
  • desirable properties
  • partially ordered
  • partial ordering
  • total order
  • objective function
  • stable marriage
  • data streams
  • computationally efficient
  • preference relations