Title :
On Statistical Model Checking with PLASMA
Author :
Legay, Axel ; Sedwards, Sean
Author_Institution :
IRISA/INRIA, Rennes, France
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;
Conference_Titel :
Theoretical Aspects of Software Engineering Conference (TASE), 2014
Conference_Location :
Changsha
DOI :
10.1109/TASE.2014.20
