Thumbnail Image
Publication

Towards Light-Weight Probabilistic Model Checking

Konur, Savas
Publication Date
2014-07-04
End of Embargo
Supervisor
Keywords
Time specification patterns, ; Real-time, ; Automatic verification, ; Systems, ; Logics, ; Tool
Rights
© 2014 Konur, S. This is an Open Access article distributed under the Creative Commons CC-BY license (http://creativecommons.org/licenses/by/3.0/)
Peer-Reviewed
Yes
Open Access status
Accepted for publication
2014-06-03
Institution
Department
Awarded
Embargo end date
Collections
Engineering and Digital Technology Publications
Show all metadata
Files
Thumbnail Image
konur_2014.pdf
Adobe PDF, 14.11 MB
Additional title
Abstract
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.
URI
http://hdl.handle.net/10454/10718
Version
Published version
Citation
Konur S (2014) Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics. 2014: 814159.
Link to publisher’s version
Link to published version
Link to Version of Record
https://doi.org/10.1155/2014/814159
Type
Article
Qualification name
Notes