A method and apparatus for resource management for non-deterministic automata for dynamic verification of a system or device under test is described herein.