|
Pattern | Scope | LTL Formula |
|
Absence | Global | |
Before | |
After | |
Between and | |
After Until | |
|
Existence | Global | |
Before | |
After | |
Between and | |
After Until | |
|
Universality | Global | |
Before | |
After | |
Between and | |
After Until | |
|
Precedence | Global | |
Before | |
After | |
Between and | |
After Until | |
|
Response | Global | |
Before | |
After | |
Between and | |
After Until | |
|
Strict Precedence | Global | |
Before | |
After | |
Between and | |
After Until | |
|