摘要 |
A method of checking includes establishing links between events based on a set of event relationships, in an earlier pass through a time-ordered sequence of events, and checking whether the events comply with a set of rules based on the links, in a later pass through the sequence of events. The earlier pass and the later pass may be concurrent, with the earlier pass leading the later pass in the sequence of events.
|