Towards light-weight probabilistic model checking

DOI10.1155/2014/814159MaRDI QIDQ2336743zbMATHOpenAlexWikidataFDO

Authors 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)

Recommendations

• Model checking probabilistic systems
• Model checking of probabilistic and nondeterministic systems
• Abstraction of Probabilistic Systems
• Stochastic model checking
• Verification, Model Checking, and Abstract Interpretation

Cites work

• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• A Hybrid Approach to Modeling Biological Systems
• A logic for reasoning about time and reliability
• An integrated approach to P systems formal verification
• Automatic verification of real-time systems with discrete probability distributions.
• Combined model checking for temporal, probabilistic, and real-time logics
• Computer Aided Verification
• Computer Aided Verification
• Model-checking in dense real-time
• The Daikon system for dynamic detection of likely invariants

Cited in

(4)

• Spiking neural P systems: matrix representation and formal verification
• Preface to the special issue on probabilistic model checking
• Trade-off analysis meets probabilistic model checking
• Constraint-based debugging in probabilistic model checking

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336743)