DocumentCode
177177
Title
On Statistical Model Checking with PLASMA
Author
Legay, Axel ; Sedwards, Sean
Author_Institution
IRISA/INRIA, Rennes, France
fYear
2014
fDate
1-3 Sept. 2014
Firstpage
139
Lastpage
145
Abstract
This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at India.
Keywords
formal verification; learning (artificial intelligence); statistical analysis; India; PLASMA; lightweight learning algorithm; statistical model checking; Graphical user interfaces; Mathematical model; Model checking; Monte Carlo methods; Numerical models; Plasmas; Probabilistic logic; Experiments; Probability; Simulation; Statistical Model Checking;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering Conference (TASE), 2014
Conference_Location
Changsha
Type
conf
DOI
10.1109/TASE.2014.20
Filename
6976581
Link To Document