579 search results - page 17 / 116 » On a Temporal Logic for Object-Based Systems |
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
ICTL
1994
13 years 11 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
CLIMA
2007
13 years 9 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
SEKE
2001
Springer
14 years 4 days ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...