ID: 1531 | |
Author: GOAL | |
St: 3 | |
Tr: 11 | |
Acceptance Condition: { ({s2}, {s0, s1, s2}) } |
|
Description: Whenever p holds, it remains to hold until q holds which eventually happens. |
ID: 1531 | |
Author: GOAL | |
St: 3 | |
Tr: 11 | |
Acceptance Condition: { ({s2}, {s0, s1, s2}) } |
|
Description: Whenever p holds, it remains to hold until q holds which eventually happens. |