| http://www.w3.org/ns/prov#value | - At step 415, the checker determines if an event occurs that could produce two or more possible behaviors in the DUT. In embodiments, an event is a signal or an input from a stimulus generator, or can also be the passage of time after such a signal or input.
|
