机译:用Coq在风车上倾斜:平行运动编译算法的形式验证
INRIA Sophia-Antipolis Mediterranee, B.P. 93,06902 Sophia-Antipolis, France;
parallel move; parallel assignment; compilation; compiler correctness; the coq proof assistant;
机译:计算机算术和形式证明:使用Coq系统验证浮点算法
机译:计算机算术和形式证明:使用Coq系统验证浮点算法
机译:定理箴言COQ中直升机自动着陆控制算法的正式验证
机译:几何算法的形式验证:对Coq证明中的抽象视图和对称性的追求
机译:在风车上倾斜:拒绝英语研究生教育,以培养未来的两年制大学专业人才
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:使用Coq在风车上倾斜:平行移动编译算法的形式验证