Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68326OpenAlexW657718082MaRDI QIDQ5325843FDOQ5325843

Authors: Gethin Norman 

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98484

Recommendations

• scientific article; zbMATH DE number 1786476
• An introduction to randomized algorithms
• RDA: a Coq library to reason about randomised distributed algorithms in the message passing model
• Certified impossibility results and analyses in Coq of some randomised distributed algorithms
• Distributed randomized algorithms for probabilistic performance analysis

Mathematics Subject Classification ID

Randomized algorithms (68W20) Analysis of algorithms (68W40) Distributed algorithms (68W15)

Cited In (13)

• Stochastic analysis of average-based distributed algorithms
• Title not available (Why is that?)
• Computer Aided Verification
• Distributed randomized algorithms for probabilistic performance analysis
• Analysis of a randomized rendezvous algorithm
• Title not available (Why is that?)
• Least upper bounds for probability measures and their applications to abstractions
• A linear-time algorithm for the orbit problem over cyclic groups
• A game-based abstraction-refinement framework for Markov decision processes
• Title not available (Why is that?)
• An inductive technique for parameterised model checking of degenerative distributed randomised protocols
• Title not available (Why is that?)
• Probabilistic analysis of some distributed algorithms

Uses Software

• PRISM

This page was built for publication: Validation of Stochastic Systems

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