Satisfiability Modulo Theories Competition (SMT-COMP)
来源:互联网 发布:易企秀 for mac 编辑:程序博客网 时间:2024/06/05 07:13
这两天看了一些Constraint Solver的用法。发现了这个网站:
http://www.smtcomp.org
全称是Satisfiability Modulo Theories Competition (SMT-COMP),基本上是每年和CAV合办的一个公益性质的竞赛。主要目的是提高SMT Solver的通用性和处理能力。
这篇文章:
C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, "EXE: automatically generating inputs of death," in Proceedings of the 13th ACM conference on Computer and communications security, Alexandria, Virginia, USA, 2006, pp. 322-335.
中,作者就曾介绍,他们开发的STP(现在已经是大名鼎鼎了)获得了SMTLIB competition(上面这个比赛的前身)的co-winner。
这里记录一下,还是对SMT和decision procedure不是很熟。
0 0
- Satisfiability Modulo Theories Competition (SMT-COMP)
- TACAS11: Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
- smt
- Competition
- HCI Theories
- Boolean satisfiability solving
- 什么是SMT
- SMT同步
- SMT技术
- SMT 用語
- SMT封装
- SMT价格
- --SMT 基础知识
- Cooking Competition
- Cooking Competition
- Cooking Competition
- modulo.c
- 千里马-modulo
- Windows系统不重启而使环境变量生效的方法
- 静态分析实验数据集总结[1]
- Windows Server 2008运行Delphi程序报xxxxx.bpl错误
- Java Grande benchmark suite总结
- 搜索、查询及下载LNCS论文的快捷方法
- Satisfiability Modulo Theories Competition (SMT-COMP)
- Windows下用eclipse和mingw开发C/C++的开发环境搭建(转载)
- [CBMC学习笔记][3]正确Eclipse版本的下载和配置
- [Java Path Finder][JPF学习笔记][3]使用jpf-shell
- [Soot学习笔记][3]通过Soot API生成Hello World程序
- [SIR数据集实验][1]apache-xml-security实验方法
- [小经验]Windows系统中提取某个目录下所有文件夹(或文件)名
- iframe传参中文乱码问题
- Java连接MySQL的经验总结