10870 search results - page 274 / 2174 » Model Checking Programs |
45
Voted
BMCBI
2010
15 years 2 months ago
2010
123
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
ENTCS
2008
15 years 2 months ago
2008
122
Voted
FAC
2008
15 years 2 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...