A specification logic for programs in the probabilistic guarded command language

DOI10.1007/978-3-031-17715-6_24arXiv2205.04822OpenAlexW4312611523MaRDI QIDQ6109492

Einar Broch Johnsen, Raúl Pardo, Ina Schaefer, Andrzej Wąsowski

Publication date: 28 July 2023

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

Full work available at URL: https://arxiv.org/abs/2205.04822

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

A specification logic for programs in the probabilistic guarded command language

Cites Work

• A probabilistic PDL
• A logic for reasoning about time and reliability
• Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
• Probabilistic Abstract Interpretation
• Abstraction, Refinement and Proof for Probabilistic Systems
• Cantor meets Scott: semantic foundations for probabilistic networks
• A Modern Introduction to Probability and Statistics
• A specification logic for programs in the probabilistic guarded command language
• Foundations for entailment checking in quantitative separation logic
• Unnamed Item
• Unnamed Item
• Unnamed Item