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

(9)

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

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)