244 search results - page 30 / 49 » Counterexamples in Probabilistic Model Checking |
121
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
107
click to vote
FOSSACS
2003
Springer
15 years 7 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
133
Voted
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
104
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
122
click to vote
IJFCS
2006
15 years 2 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...