×

PiMaG公司

swMATH ID: 10090
软件作者: Manolios、Panagiotis;Srinivasan,Sudarshan K。
描述: 硬管道机器验证问题的参数化基准套件。我们提出了一组参数化的基准测试问题,这些问题是由我们在流水线机器验证方面的工作产生的,希望它们可以用于加快决策过程。虽然大量CNF基准的存在促进了高效SAT求解器的发展,但可用于更具表现力逻辑的基准非常有限。我们在流水线机器验证方面的工作产生了许多问题,这些问题不仅具有复杂的模型,而且还具有复杂的正确性语句,涉及不变量和数十步的模型符号模拟。使用UCLID决策程序和SAT解算器(如Zchaff和Siege),许多这些证明需要几十万秒的时间来检查。使用我们开发的Web应用程序PiMaG可以生成更复杂的问题。PiMaG基于用户提供的指定流水线机器特性的参数及其正确性声明,在UCLID、SVC和CNF格式中生成问题。
主页: http://www.ccs.neu.edu/home/pete/benchmarks/charme.html
相关软件: 超小卫星;Calysto公司;Velev SAT基准;RSat公司;;zChaff公司;UCLID公司;围攻
引用于: 2文件

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文