scientific article; zbMATH DE number 1500556

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

zbMATH Keywords

denotational semanticsHoare logic

Mathematics Subject Classification ID

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

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)