YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

Ukachukwu Ndukwu, A. K. McIver

Browse the full ATVA paper archive.