Time for Statistical Model Checking of Real-Time Systems

A. David, Kim Guldstrand Larsen, A. Legay, Marius Mikucionis, Z. Wang

Research output: Contribution to journalConference article in JournalResearchpeer-review

114 Citations (Scopus)

Abstract

We propose the first tool for solving complex (some undecidable) problems of timed systems by using Statistical Model Checking (SMC). The tool monitors several runs of the system, and then relies on statistical algorithms to get an estimate of the correctness of the entire design. Contrary to other existing toolsets, ours relies on i) a natural stochastic semantics for networks of timed systems, ii) an engine capable to solve problems that are beyond the scope of classical model checkers, and iii) a friendly user interface.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6806 LNCS
Pages (from-to)349-355
Number of pages7
ISSN0302-9743
DOIs
Publication statusPublished - 1 Jan 2011
Event23rd International Conference on Computer Aided Verification - Snowbird, UT, United States
Duration: 14 Jul 201120 Jul 2011
Conference number: 23

Conference

Conference23rd International Conference on Computer Aided Verification
Number23
Country/TerritoryUnited States
CitySnowbird, UT
Period14/07/201120/07/2011

Fingerprint

Dive into the research topics of 'Time for Statistical Model Checking of Real-Time Systems'. Together they form a unique fingerprint.

Cite this