Probabilistic verification and approximation

DOI10.1016/j.apal.2007.11.006zbMath1142.68050OpenAlexW2092752793MaRDI QIDQ2478551

Richard Lassaigne, Sylvain Peyronnet

Publication date: 28 March 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.11.006

zbMATH Keywords

probabilistic verificationrandomized approximation algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Approximation algorithms (68W25) Randomized algorithms (68W20)

Related Items (3)

Quantitative verification of implantable cardiac pacemakers over hybrid heart models ⋮ Statistical Verification of Probabilistic Properties with Unbounded Until ⋮ Faster statistical model checking for unbounded temporal properties

Uses Software

• APMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monte-Carlo algorithms for the planar multiterminal network reliability problem
• Random generation of combinatorial structures from a uniform distribution
• A logic for reasoning about time and reliability
• Non-negative matrices and Markov chains.
• Model checking of probabilistic and nondeterministic systems
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The complexity of propositional linear temporal logics
• Monte-Carlo approximation algorithms for enumeration problems
• Markov Chains
• A Randomized Fully Polynomial Time Approximation Scheme for the All-Terminal Network Reliability Problem
• The complexity of probabilistic verification
• An Optimal Algorithm for Monte Carlo Estimation
• Evaluating Complex MAC Protocols for Sensor Networks with APMC
• Computer Aided Verification
• Probability Inequalities for Sums of Bounded Random Variables
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Probabilistic verification and approximation