3028 search results - page 25 / 606 » Integrating Temporal Logics |
FOSSACS
2001
Springer
15 years 4 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...
ICALP
1998
Springer
15 years 4 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...
105
click to vote
RITA
2000
14 years 11 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 3 days ago
2003
Springer
CADE
2003
Springer
16 years 3 days ago
2003
Springer
