Statistical Model Checking of Incomplete Stochastic Systems

Arora, S and Legay, Axel and Richmond, Tania and Traonouez, Louis-Marie (2018) Statistical Model Checking of Incomplete Stochastic Systems. In: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA, 5-9 November 2018, Limassol.

Full text not available from this repository. (Request a copy)


We study incomplete stochastic systems that are missing some parts of their design, or are lacking information about some components. It is interesting to get early analysis results of the requirements of these systems, in order to adequately refine their design. In previous works, models for incomplete systems are analysed using model checking techniques for three-valued temporal logics. In this paper, we propose statistical model checking algorithms for these logics. We illustrate our approach on a case-study of a network system that is refined after the analysis of early designs.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Item Type: Conference or Workshop Item (Paper)
Subjects: Computer science
Divisions: Department of Electrical Engineering
Depositing User: Team Library
Date Deposited: 29 Nov 2018 10:19
Last Modified: 29 Nov 2018 10:19
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 4583 Statistics for this ePrint Item