1. A method comprising: traversing on one or more computing devices, a non-deterministic automaton, as part of a dynamic verification of a device under test; receiving a directive to modify said non-deterministic automaton in the course of said traversing; pausing said traversing, and modifying said non-deterministic automaton as directed; and resuming said traversing of said non-deterministic automaton.