Statistical Model Checking: Past, Present, and Future [chapter]

Kim G. Larsen, Axel Legay
2016 Lecture Notes in Computer Science  
Statistical Model Checking (SMC) is a compromise between verification and testing where executions of the systems are monitored until an algorithm from statistics can produce an estimate for the system to satisfy a given property. The objective of this introduction is to summarizes SMC as well as a series of challenges for which contributors at Isola propose a solution. Contributions include new SMC toolsets, new flexible SMC algorithms for larger classes of systems, and new applications.
doi:10.1007/978-3-319-47166-2_1 fatcat:fplaz2ykwnhj3bzwi5ah25wbq4