DocumentCode
1950894
Title
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems
Author
Legay, Axel ; Viswanatha, M.
Author_Institution
IRISMNRIA, Rennes, France
fYear
2009
fDate
13-16 Sept. 2009
Firstpage
3
Lastpage
3
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location
Budapest
Print_ISBN
978-0-7695-3808-2
Type
conf
DOI
10.1109/QEST.2009.43
Filename
5290876
Link To Document