A Platform for High Performance Statistical Model Checking - PLASMA.

Cyrille Jgourel, Axel Legay, Sean Sedwards

Browse the full TACAS paper archive.