S. G. Mohanty;A. Montazer-Haghighi;R. Trueblood
-;-;-
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing