Login / Signup

Unfolding-based Partial Order Reduction.

César RodríguezMarcelo SousaSubodh SharmaDaniel Kroening
Published in: CONCUR (2015)
Keyphrases
  • partial order reduction
  • petri net
  • model checking