Zoo Probabilistic Systems

MaRDI QIDQ40255swMATHFDO

Authors Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel

Publication date 27 May 2015

Official website https://www.isa-afp.org/entries/Probabilistic_System_Zoo.html

Described by source

• A formalized hierarchy of probabilistic system types. Proof pearl

Cited in

(22)

• Markov chains and Markov decision processes in Isabelle/HOL
• Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL
• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
• EasyCrypt
• CryptHOL: game-based proofs in higher-order logic
• pGCL
• Probabilistic functions and cryptographic oracles in higher order logic
• Eisbach: a proof method language for Isabelle
• Transfer
• Lifting
• AmiCo
• Tycon
• CoSP
• F*
• Markov Models
• Monomorphic Monad
• Density Compiler
• Probabilistic_While
• MFMC_Countable
• Game_Based_Crypto
• scientific article; zbMATH DE number 7649955 (Why is no real title available?)
• Effect polymorphism in higher-order logic (proof pearl)

This page was built for software: Zoo Probabilistic Systems