机构名称：
¥ 1.0
dijkstra最弱的基本谓词变压器无疑是程序语义和验证领域中最有效的工具之一。在过去的十年中，这种结构已被推广到概率程序：在这种情况下，公式的真理本质上是定量的，例如，真实价值观会变成概率。虽然这种方法是为概率命令计划建立的[Kozen，1981; McIver和Morgan，2005年； Avanzini等。2023,2024]，其向高阶程序的扩展仍然没有被忽略。这是不幸的，例如基于游戏的加密证明固有地围绕着对高阶，概率程序的分析。
off n°2025-08539
主要关键词
相关文件推荐
