Towards light-weight probabilistic model checking

DOI10.1155/2014/814159zbMATH Open1442.68109OpenAlexW2022607335WikidataQ59052538 ScholiaQ59052538MaRDI QIDQ2336743FDOQ2336743

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)