1463 search results - page 79 / 293 » Model Checking Implicit-Invocation Systems |
155
click to vote
CIBSE
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
107
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
ICPPW
2006
IEEE
15 years 7 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...
110
click to vote
ECBS
2003
IEEE
15 years 7 months 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...
KBSE
2007
IEEE
15 years 8 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...