327 search results - page 4 / 66 » Model Checking and Evidence Exploration |
139
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
138
click to vote
PACT
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
118
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
132
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
115
click to vote
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...