位置：成果数据库 > 会议 > 会议详情页
Minimizing counterexample of ACTL property
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification M
  • 成果类型：会议
  • 会场：Saarbruecken, Germany
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Shen, ShengYu|Li, SiKun|Qin, Ying|
同会议论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目会议论文
Finding unsatisfiable subformulas with stochastic method
A heuristic local search algorithm for unsatisfiable cores extraction
Localizing errors in counterexample with iteratively witness searching
Debugging complex counterexample of hardware system using control flow distance metrics
Synthesizing complementary circuits automatically
极小SMT不可满足子式提取算法
A fast counterexample minimization approach with refutation analysis and incremental SAT
A faster counterexample minimization algorithm based on refutation analysis
Minimizing counterexample with unit core extraction and incremental SAT