A method and apparatus for manipulating a non-deterministic automaton and a traversal of a non-deterministic automaton for dynamic verification of a system or device under test is described herein.

 
Web www.patentalert.com

> System and method for management of document cross-reference links
~ 00387