|
[NM10]
Ukachukwu Ndukwu and Annabelle McIver.
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs.
In Proc. 8th Workshop on Quantitative Aspects of Programming Languages (QAPL'10).
2010.
[bib]
[Develops predicate abstraction techniques for probabilistic programs and uses PRISM for verification.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|