Show simple item record

dc.contributor.authorKonur, Savas
dc.date.accessioned2016-11-28T15:10:27Z
dc.date.available2016-11-28T15:10:27Z
dc.date.issued2014-07-04
dc.identifier.citationKonur S (2014) Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics. 2014: 814159.
dc.identifier.urihttp://hdl.handle.net/10454/10718
dc.descriptionYes
dc.description.abstractModel 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.
dc.relation.isreferencedbyArtn 814159
dc.relation.isreferencedbyhttps://doi.org/10.1155/2014/814159
dc.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/)
dc.subjectTime specification patterns
dc.subject; Real-time
dc.subject; Automatic verification
dc.subject; Systems
dc.subject; Logics
dc.subject; Tool
dc.titleTowards Light-Weight Probabilistic Model Checking
dc.status.refereedYes
dc.date.Accepted2014-06-03
dc.typeArticle
dc.type.versionPublished version
refterms.dateFOA2018-07-26T09:17:46Z


Item file(s)

Thumbnail
Name:
konur_2014.pdf
Size:
14.11Mb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record