[PDF] qianzhankeji.cn

复杂系统规约, 分析与验证发展现状与展望

詹乃军， 王戟 - 前瞻科技, 2023 - qianzhankeji.cn
… ],基于依赖类型论的 Coq[19],基于一阶逻辑的RODIN[20]等. 近年,人们发现信息流安全策略,信息…
Leveraging control flow knowledge in SMT solving of program verification[J]. ACM Transac…
相关文章 所有 2 个版本
[PDF] jos.org.cn

形式化方法概貌

王戟， 詹乃军， 冯新宇， 刘志明 - 软件学报, 2018 - jos.org.cn
… /SMT 为代表的约束求解,基于交互式辅助定理证明工具的机械化验证,以模型检验为代表的自动
… Bounded model checking of software using SMT solvers instead of SAT solvers. In: Proc. of …
被引用次数：12 相关文章 所有 8 个版本