Login / Signup

Improving Spin's Partial-Order Reduction for Breadth-First Search.

Dragan BosnackiGerard J. Holzmann
Published in: SPIN (2005)
Keyphrases
  • breadth first search
  • partial order reduction
  • model checking
  • depth first search
  • petri net
  • search algorithm
  • external memory
  • memory efficient
  • decomposition algorithm