SYSTEM VERIFICATION USING ONE OR MORE AUTOMATA

摘要

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.