Constructive development of probabilistic programs

DOI10.1007/978-3-642-29320-7_6MaRDI QIDQ2894554zbMATH OpenOpenAlexFDO

Authors Hassan Haghighi, Mohammad Mahdi Javanmard

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_6

zbMATH Keywords

type theoryformal program developmentCZ set theoryfunctional probabilistic programprobabilistic specification

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Verification of Probabilistic Programs
• ZB 2005: Formal Specification and Development in Z and B
• FM 2005: Formal Methods
• Probabilistic verification

Cited in

(1)

• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Constructive development of probabilistic programs

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