683 search results - page 7 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
114
click to vote
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...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
132
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
135
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
114
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...