Distribution, approximation and probabilistic model checking

zbMATH Open1272.68255MaRDI QIDQ2848656FDOQ2848656

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Approximate Counting in SMT and Value Estimation for Probabilistic Programs
• 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

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)