scientific article; zbMATH DE number 1692951

MaRDI QIDQ2763684zbMATH OpenFDO

Authors David Monniaux

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280367

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probabilistic abstract interpretation
• Running probabilistic programs backwards
• scientific article; zbMATH DE number 1617330
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Reasoning about Recursive Probabilistic Programs
• Probabilistic semantics and program analysis
• scientific article; zbMATH DE number 3890702
• Fine-grained semantics for probabilistic programs
• Probabilistic bisimulation and simulation algorithms by abstract interpretation
• scientific article; zbMATH DE number 1104373

Cited in

(9)

• Quantitative static analysis of communication protocols using abstract Markov chains
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• Probabilistic abstract interpretation
• Abstract Interpretation for Worst and Average Case Analysis
• scientific article; zbMATH DE number 1953029 (Why is no real title available?)
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Towards abstraction-based probabilistic program analysis
• Probabilistic output analyses for deterministic programs -- reusing existing non-probabilistic analyses

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 Q2763684)