Towards abstraction-based probabilistic program analysis

DOI10.14232/ACTACYB.298287MaRDI QIDQ6602524zbMATH OpenFDO

Authors Dániel Szekeres, István Majzik

Publication date 11 September 2024

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/ACTACYB.298287

zbMATH Keywords

abstractionprobabilistic systemsreliability analysisstochastic games

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Probabilistic abstract interpretation
• scientific article; zbMATH DE number 1692951
• On Abstraction of Probabilistic Systems
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Abstraction Refinement for Probabilistic Software

This page was built for publication: Towards abstraction-based probabilistic program analysis

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