DiPro - A Tool for Probabilistic Counterexample Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov. DiPro - A Tool for Probabilistic Counterexample Generation. In Alex Groce, Madanlal Musuvathi, editors, Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Volume 6823 of Lecture Notes in Computer Science, pages 183-187, Springer, 2011. [doi]

This author has not been identified. Look up 'Husain Aljazzar' in GoogleThis author has not been identified. Look up 'Florian Leitner-Fischer' in GoogleThis author has not been identified. Look up 'Stefan Leue' in GoogleThis author has not been identified. Look up 'Dimitar Simeonov' in Google

runs on WebDSL