Title :
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems
Author :
Legay, Axel ; Viswanatha, M.
Author_Institution :
IRISMNRIA, Rennes, France
Abstract :
Tutorial on using hypothesis testing for solving the probabilistic model checking problem.
Keywords :
formal verification; probability; statistical testing; hypothesis testing; model checking; probabilistic system; simulation testing; Algorithm design and analysis; Circuits; Computational modeling; Delta modulation; Probabilistic logic; Process planning; Signal analysis; Stochastic systems; System testing; USA Councils; Probability; hypothesis testing; simulation;
Conference_Titel :
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location :
Budapest
Print_ISBN :
978-0-7695-3808-2
DOI :
10.1109/QEST.2009.43
