scientific article; zbMATH DE number 1500556
From MaRDI portal
Publication:4501575
zbMATH Open0959.68076MaRDI QIDQ4501575FDOQ4501575
Authors: Jerry den Hartog
Publication date: 4 September 2000
Title of this publication is not available (Why is that?)
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 (11)
- Reasoning About States of Probabilistic Sequential Programs
- A compositional modelling and verification framework for stochastic hybrid systems
- Probabilistic verification of Boolean functions
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- An assertion-based program logic for probabilistic programs
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Reverse Hoare logic
- Verification of Probabilistic Programs
- VPHL: a verified partial-correctness logic for probabilistic programs
- Hoare logic-based genetic programming
- Probabilistic Horn clause verification
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501575)