279 search results - page 1 / 56 » Timed Temporal Logics for Abstracting Transient States |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
ICCD
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
CAV
2003
Springer
13 years 8 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...
CADE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
