9067 search results - page 141 / 1814 » Adaptive Model Checking |
102
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
104
Voted
ICPPW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
132
click to vote
RTSS
2005
IEEE
15 years 8 months 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...
142
click to vote
FORMATS
2004
Springer
15 years 8 months 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 ...
119
Voted
ACSD
2003
IEEE
15 years 8 months 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...