How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In Karen Yorav, editor, Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Volume 4899 of Lecture Notes in Computer Science, pages 69-85, Springer, 2007. [doi]

This author has not been identified. Look up 'David N. Jansen' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Marcel Oldenkamp' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in GoogleThis author has not been identified. Look up 'Ivan S. Zapreev' in Google

runs on WebDSL