scientific article; zbMATH DE number 1500556

MaRDI QIDQ4501575zbMATH OpenFDO

Authors Jerry den Hartog

Publication date 4 September 2000

zbMATH Keywords

denotational semanticsHoare logic

Mathematics Subject Classification ID

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

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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501575)