Does a Program Yield the Right Distribution?

DOI10.1007/978-3-031-13185-1_5MaRDI QIDQ6487313zbMATH OpenFDO

Authors Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-13185-1_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Verification of Probabilistic Programs
• scientific article; zbMATH DE number 176732
• Bounded model checking for probabilistic programs
• Linear-invariant generation for probabilistic programs: automated support for proof-based methods
• CONCUR 2005 – Concurrency Theory

Cites work

• A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
• A first course in stochastic models.
• A probabilistic PDL
• A type theory for probability density functions
• AQUA: automated quantized inference for probabilistic programs
• Abstraction, Refinement and Proof for Probabilistic Systems
• Analysis of Bayesian networks via prob-solvable loops
• Analytic combinatorics
• Bounded model checking for probabilistic programs
• CONCUR 2005 – Concurrency Theory
• Deriving probability density functions from probabilistic functional programs
• Fast randomized consensus using shared memory
• Formal certification of code-based cryptographic proofs
• Foundations of probabilistic programming
• Generating functions for probabilistic programs
• Guarded commands, nondeterminacy and formal derivation of programs
• Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
• Language equivalence of probabilistic pushdown automata
• Latticed \(k\)-induction with an application to probabilistic programs
• On Buffon machines and numbers
• On the hardness of analyzing probabilistic programs
• Probabilistic inference by program transformation in Hakaru (system description)
• Probabilistic relational reasoning for differential privacy
• RSA, DH and DSA in the wild
• Semantics of probabilistic programs
• Termination Analysis of Probabilistic Programs with Martingales
• Termination analysis of probabilistic programs through Positivstellensatz's
• The Logical Essentials of Bayesian Reasoning
• Universal equivalence and majority of probabilistic programs over finite fields
• Weakest precondition reasoning for expected runtimes of randomized algorithms

Cited in

(6)

• A completeness theorem for probabilistic regular expressions
• Distribution estimation for probabilistic loops
• Weighted automata for exact inference in discrete probabilistic programs
• On iteration in discrete probabilistic programming
• scientific article; zbMATH DE number 176732 (Why is no real title available?)
• Probabilistic program verification via inductive synthesis of inductive invariants

This page was built for publication: Does a Program Yield the Right Distribution?

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