Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.

Sami Lazreg, Maxime Cordy, Axel Legay

Browse the full ISoLA paper archive.