Filters: Author is Dirk Beyer [Clear All Filters]
“A Statistical Model Checker for Nondeterminism and Rare Events”, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, Springer, 2018, pp. 340–358. paper-337.pdf (795.55 KB)
,