当前分类：abstract-interpretation

loops - "loops must be folded to ensure termination"是什么意思？

compiler-construction - 数据流分析和抽象解释有什么区别

abstract-interpretation - 抽象解释的简短实现示例

llvm - LLVM 中的抽象解释

prolog - Prolog 目标运行时间成本的真实抽象度量

java - 无法使用 Java 的 JBMC(有界模型检查器)命令

c - frama-c值分析自动加宽

使用 frama-c 的值分析计算函数的可达性

c - 如何证明 Frama-C + EVA 中非确定性值的简单等式？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们