Patent ID: 7234093

Claim:
A method comprising: processing a first non-deterministic automaton on one or more computing devices as part of a dynamic verification of a device under test; receiving from said first non-deterministic automaton a first resource request specifying a first set of one or more resource requirements; responding to said first resource request by reserving for exclusive use by said first non-deterministic automaton a first resource meeting said first set of resource requirements; begining a first computation which requires exclusive use of a resource meeting said first set of resource requirements by said first non-deterministic automaton; processing a second non-deterministic automaton on one or more computing devices as part of said dynamic verification of said device under test; receiving from said second non-deterministic automaton a second resource request specifying a second set of one or more resource requirements; responding to said second resource request without granting use of said first resource to said second non-deterministic automaton; completing said first computation using said first non-deterministic automaton; and relinquishing said first resource for other uses.