Research Article
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Table 6
CP semantics in LTL (subscripts C and E stand for condition and event, resp.).
| | CP Class | Semantics in LTL |
| (1) | AtLeastOneC | | (2) | AtLeastOneE | | (3) | ParallelC | | (4) | ParallelE | | (5) | ConsecutiveC | | (6) | ConsecutiveE | | (7) | EventualC | | (8) | EventualE | | (9) | Strict EventualC | | (10) | Strict EventualE | |
|
|