Plasma Lab: A Modular Statistical Model Checking Platform.

Axel Legay, Sean Sedwards, Louis-Marie Traonouez

Browse the full ISoLA paper archive.