690 search results - page 38 / 138 » Testing Temporal Logic Properties in Distributed Systems |
133
click to vote
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
132
Voted
MTV
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
102
Voted
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
107
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
110
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...