Towards Light-Weight Probabilistic Model Checking | Zendy

Savas Konur | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards Light-Weight Probabilistic Model Checking

Author(s) -

Savas Konur

Publication year - 2014

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2014/814159

Subject(s) - computer science , property (philosophy) , model checking , syntax , probabilistic logic , programming language , task (project management) , theoretical computer science , artificial intelligence , systems engineering , philosophy , epistemology , engineering

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research