Towards Light-Weight Probabilistic Model Checking
Author
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-07-10
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Konur, Savas. 2014. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-500181
Modern Language Association (MLA)
Konur, Savas. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-500181
American Medical Association (AMA)
Konur, Savas. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-500181
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-500181