247 search results - page 7 / 50 » Perspectives in Probabilistic Verification |
134
Voted
DC
2000
15 years 4 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
98
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
133
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
ISMVL
2000
IEEE
15 years 9 months ago
2000
IEEE