5863 search results - page 75 / 1173 » On Model-Checking of P Systems |
138
click to vote
QEST
2009
IEEE
15 years 11 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...
145
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
121
click to vote
KBSE
2007
IEEE
15 years 11 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...
125
click to vote
ICPPW
2006
IEEE
15 years 10 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...
136
click to vote
ECBS
2003
IEEE
15 years 10 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...