FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Browse the full TACAS paper archive.