Towards Automated Proof Support for Probabilistic Distributed Systems

DOI10.1007/11591191_37zbMath1143.68458MaRDI QIDQ5387864

Tjark Weber, Annabelle McIver

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Using probabilistic Kleene algebra pKA for protocol verification, Algebraic reasoning for probabilistic action systems and while-loops, Refinement algebra for probabilistic programs