1283 search results - page 20 / 257 » A Survey on Temporal Logics |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
64
Voted
AMAI
2006
Springer
14 years 10 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
HASE
2005
IEEE
15 years 3 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
CONCUR
1989
Springer
15 years 2 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
71
Voted
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...