Open Access
2014 Towards Light-Weight Probabilistic Model Checking
Savas Konur
J. Appl. Math. 2014(SI11): 1-15 (2014). DOI: 10.1155/2014/814159


Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages. Unfortunately, this is not an easy task for nonexperts to learn description languages for modelling and formal logics/languages for property specification. In particular, property specification is very daunting and error-prone for nonexperts. In this paper, we present a methodology to facilitate probabilistic model checking for nonexperts. The methodology helps nonexpert users model their systems and express their requirements without any knowledge of the modelling and property specification languages.


Download Citation

Savas Konur. "Towards Light-Weight Probabilistic Model Checking." J. Appl. Math. 2014 (SI11) 1 - 15, 2014.


Published: 2014
First available in Project Euclid: 1 October 2014

zbMATH: 07131889
Digital Object Identifier: 10.1155/2014/814159

Rights: Copyright © 2014 Hindawi

Vol.2014 • No. SI11 • 2014
Back to Top