4447 search results - page 173 / 890 » Model Checking Games |
212
click to vote
RTSS
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
213
click to vote
FORMATS
2004
Springer
16 years 10 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
194
Voted
ACSD
2003
IEEE
16 years 7 days ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
178
Voted
ECBS
2003
IEEE
16 years 7 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
164
Voted
ADBIS
2001
Springer
15 years 11 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...