Verifying probabilistic programs using a Hoare like logic
From MaRDI portal
Recommendations
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Verification of Probabilistic Programs
- An assertion-based program logic for probabilistic programs
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Validation of Stochastic Systems
- Program verification as probabilistic inference
- Probabilistic verification of proofs in calculuses
- VPHL: a verified partial-correctness logic for probabilistic programs
- Program logic for higher-order probabilistic programs in Isabelle/HOL
Cited in
(13)- Program logic for higher-order probabilistic programs in Isabelle/HOL
- An assertion-based program logic for probabilistic programs
- A compositional modelling and verification framework for stochastic hybrid systems
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Reverse Hoare logic
- Verification of Probabilistic Programs
- Reasoning About States of Probabilistic Sequential Programs
- Probabilistic Horn clause verification
- Hoare logic-based genetic programming
- VPHL: a verified partial-correctness logic for probabilistic programs
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- Probabilistic verification of Boolean functions
- Denotational semantics for probabilistic and concurrent programs
This page was built for publication: Verifying probabilistic programs using a Hoare like logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501575)
