Faster Statistical Model Checking by Means of Abstraction and Learning - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem. Faster Statistical Model Checking by Means of Abstraction and Learning. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 340-355, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsAnanda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. forte 2010: 32-46 [doi]

runs on WebDSL