A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems
[chapter]
2006
Lecture Notes in Computer Science
For standard (ie non-probabilistic) systems of reasonable size, correctness is analysed by simulation and/or model checking, possibly with standard program-logical arguments beforehand to reduce the problem size by abstraction. For probabilistic systems there are model checkers and simulators too; but probabilistic program logics are rarer. Thus e.g. model checkers face more severe exposure to state explosion because "front-end" probabilistic abstraction techniques are not so widely known [20]
doi:10.1007/11813040_10
fatcat:3yrbykt7czgofmzirxoehimgki