Scifaro

中文

CPBPV、ESC/Java、CBMC、Blast、EUREKA 与 Why 在程序有界验证中的比较

软件工程 2008-08-12 v1 人工智能计算机科学中的逻辑

作者: Hélène Collavizza , Michel Rueher , Pascal Van Hentenryck

在 arXiv 上查看 ↗ PDF ↗

摘要

本报告描述了一组程序验证基准测试的实验结果。它将 CPBVP（约束规划框架用于有界程序验证）[4] 的能力与以下框架进行了比较：ESC/Java、CBMC、Blast、EUREKA 和 Why。

关键词

有界程序验证约束规划静态分析模型检测软件验证基准比较

引用

@article{arxiv.0808.1508,
  title  = {Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification},
  author = {Hélène Collavizza and Michel Rueher and Pascal Van Hentenryck},
  journal= {arXiv preprint arXiv:0808.1508},
  year   = {2008}
}