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文件 5位作者引用 1 哈迪·卡提比 1 Manolios,Panagiotis公司 1 Joáo P.塞尔瓦侯爵。 1 卡伦·萨卡拉。 1 苏达珊·库马尔·斯里尼瓦桑 0连载引用 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文