| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Statistical Model Checking: Past, Present, and Future
Abstract : 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.
Cited literature [30 references]
https://hal.inria.fr/hal-01406518
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 11:50:42 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:40 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 3:23:03 AM
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 11:50:42 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:40 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 3:23:03 AM
File
c167.pdf
Files produced by the author(s)