A Statistical Model Checker for Nondeterminism and Rare Events.

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards

Browse the full TACAS paper archive.