典型文献
PROPER:一个概率程序终止性与正确性分析工具
文献摘要：
概率程序将概率推理模型与图灵完备的编程语言相结合,统一了对计算和不确定性知识的形式化描述,能够有效地处理复杂的关系模型和不确定性问题.提供了一种用于分析仿射概率程序的工具PROPER.一方面,它有助于定性和定量地分析仿射概率程序的终止性,可以验证该概率程序是否以概率1终止,估计期望终止时间的上限,并计算步数N,使得N步后给定程序的终止概率呈指数下降;另一方面,它可以估计一个断言成立的概率区间,这有助于分析变量不确定性对概率程序结果的影响.通过实验表明,PROPER对分析各种仿射概率程序是有效的.
文献关键词：
概率编程;终止性;断言分析;程序验证
中图分类号：
作者姓名：
赵旭慧;邓玉欣;符鸿飞
作者机构：
华东师范大学 上海市高可信计算重点实验室,上海 200062;上海交通大学,上海 200240
文献出处：
引用格式：
[1]赵旭慧;邓玉欣;符鸿飞-.PROPER:一个概率程序终止性与正确性分析工具)[J].软件学报,2022(12):4464-4475
A类：
PROPER,概率编程,断言分析
B类：
终止性,概率推理,推理模型,图灵,编程语言,不确定性知识,形式化描述,关系模型,仿射,定性和定量,步数,程序验证
AB值：
0.265849
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
