Sign in

Exploring the Scope for Partial Order Reduction.

Jaco GeldenhuysHenri HansenAntti Valmari
Published in: ATVA (2009)
Keyphrases
  • partial order reduction
  • model checking
  • petri net
  • case study
  • search engine
  • domain knowledge
  • sensor networks
  • data warehouse