Plan To Validate


Time         Happening


0.1:
(fullprepare) - start


5.1:
Invariant for (fullprepare)

5.1:
(fullprepare) - end


5.2:
(observe1) - start


7.2:
Invariant for (observe1)

7.2:
(observe1) - end


7.3:
(observe2) - start


9.3:
Invariant for (observe2)

9.3:
(observe2) - end


10:
(Timed Initial Literal Action 1)



Derek Long 2006-10-09