1902 search results - page 114 / 381 » Differential Dynamic Logics |
137
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
150
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
288
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
174
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
127
Voted
DAC
2000
ACM
16 years 6 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...