A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Comparative Analysis of Statistical Model Checking Tools
[chapter]
2017
Lecture Notes in Computer Science
Statistical model checking is a powerful and flexible approach for formal verification of computational models, e.g. P systems, which can have very large search spaces. Various statistical model checking tools have been developed, but choosing the most efficient and appropriate tool requires a significant degree of experience, not only because different tools have different modelling and property specification languages, but also because they may be designed to support only a certain subset of
doi:10.1007/978-3-319-54072-6_8
fatcat:mtrtkgwr4zd7nemowsuazwu6ky