Towards light-weight probabilistic model checking

DOI10.1155/2014/814159zbMath1442.68109OpenAlexW2022607335WikidataQ59052538 ScholiaQ59052538MaRDI QIDQ2336743

Savas Konur

Publication date: 19 November 2019

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/814159

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Spiking neural P systems: matrix representation and formal verification

Uses Software

• PRISM
• Kronos
• SPIN
• MRMC
• NuSMV
• Daikon
• Ymer
• ArgoUML

Cites Work

• Combined model checking for temporal, probabilistic, and real-time logics
• Model-checking in dense real-time
• A logic for reasoning about time and reliability
• Automatic verification of real-time systems with discrete probability distributions.
• The Daikon system for dynamic detection of likely invariants
• An Integrated Approach to P Systems Formal Verification
• A Hybrid Approach to Modeling Biological Systems
• Computer Aided Verification
• Computer Aided Verification
• Unnamed Item

This page was built for publication: Towards light-weight probabilistic model checking