Reasoning about probabilistic sequential programs

DOI10.1016/j.tcs.2007.02.040zbMath1121.68028DBLPjournals/tcs/ChadhaCMS07OpenAlexW2041467928WikidataQ59196685 ScholiaQ59196685MaRDI QIDQ2373709

Luís Cruz-Filipe, Rohit Chadha, Amílcar Sernadas, Paulo Mateus

Publication date: 16 July 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.02.040

zbMATH Keywords

completenessdecidabilityprobabilistic reasoningHoare calculus

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Formal semantics of a classical-quantum language ⋮ Importing logics: soundness and completeness preservation ⋮ VPHL: a verified partial-correctness logic for probabilistic programs ⋮ Importing logics ⋮ Temporalization of Probabilistic Propositional Logic ⋮ Reverse Hoare Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Retracted: Semantic domains for combining probability and non-determinism
• A probabilistic dynamic logic
• Decidability of finite probabilistic propositional dynamic logics
• A probabilistic PDL
• Probabilistic logic
• The complexity of elementary algebra and geometry
• Semantics of probabilistic programs
• Decidability and expressiveness for first-order logics of probability
• A logic for reasoning about time and reliability
• A logic for reasoning about probabilities
• Weakly complete axiomatization of exogenous quantum propositional logic
• Probabilistic logic revisited
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Reasoning About States of Probabilistic Sequential Programs
• A decidable propositional dynamic logic with explicit probabilities
• An axiomatic basis for computer programming
• Quantum Institutions
• Algorithms in real algebraic geometry

This page was built for publication: Reasoning about probabilistic sequential programs