2468 search results - page 10 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
SSS
2009
Springer
15 years 6 months ago
2009
Springer
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
FORTE
2007
15 years 1 months ago
2007
SSS
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...