确定性程序的概率输出分析-重用已有的非概率分析
Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses
摘要：
我们考虑重用已建立的非概率输出分析（向前或向后），这些分析产生程序的前像或图像关系的过度近似，例如，区间分析我们假设一个概率措施的程序输入，并提出了两种技术（一个向前和向后分析），都得出输出事件的概率上限和下限。我们展示了最涉及的技术，即前向技术，两个例子，并比较他们的结果，一个尖端的概率输出分析。
英文摘要：
We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., interval analyses. We assume a probability measure over the program input and present two techniques (one for forward and one for backward analyses) that both derive upper and lower probability bounds for the output events. We demonstrate the most involved technique, namely the forward technique, for two examples and compare their results to a cutting-edge probabilistic output analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
