Distribution, approximation and probabilistic model checking

MaRDI QIDQ2848656zbMATH OpenFDO

Authors Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000776

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Probabilistic verification and approximation
• The probabilistic model checking landscape
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Model checking probabilistic systems
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1507207
• Model checking of probabilistic and nondeterministic systems

Cited in

(8)

• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• Evaluating complex MAC protocols for sensor networks with APMC
• Probabilistic verification and approximation
• scientific article; zbMATH DE number 1875916 (Why is no real title available?)
• Approximate Counting in SMT and Value Estimation for Probabilistic Programs
• Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
• Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
• Probabilistic model checking on HPC systems for the performance analysis of mobile networks

Describes a project that uses

Uses Software

• APMC

This page was built for publication: Distribution, approximation and probabilistic model checking

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