30 Years of Statistical Model Checking
(2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Files
paperisola.pdf
Open Access - Adobe PDF
- 201.31 KB
Details
- Authors
- Abstract
- This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at ISOLA 2020.
- Affiliations
Citations
Larsen, K. G., & Legay, A. (2020). 30 Years of Statistical Model Checking. Lecture Notes in Computer Science, p. 325-330. https://doi.org/10.1007/978-3-030-61362-4_18