3028 search results - page 25 / 606 » Integrating Temporal Logics |
117
Voted
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
118
Voted
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
129
Voted
RITA
2000
15 years 1 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
CADE
2003
Springer
16 years 2 months ago
2003
Springer
