Login / Signup

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).

Parosh Aziz AbdullaBengt JonssonMats KindahlDoron A. Peled
Published in: CAV (1998)
Keyphrases
  • extended abstract
  • partial order
  • partially ordered
  • special case
  • total order
  • stable marriage
  • search algorithm
  • partial ordering