JSMTLIB

JSMTLIB:SMT-LIVv2的教程、验证和适配器工具。SMT-LIB标准定义了Satisfiability Modulo理论自动推理工具的输入格式和响应要求。标准是激励和改进SMT求解器的供应量的激励。它也可以在应用中更广泛地应用,在不同的SMT工具上提供统一的接口和可移植性。该工具描述了一个教程和随行的软件包JSMTLIB,它将帮助SMT解决方案的用户理解和应用新修订的SMT-LIB格式;该教程还描述了SMT-LIB格式的细点,以及符合性套件,将对SMT实现者有用。最后,工具套件包括允许使用一些较旧的求解器(如简化)作为SMT-LIB兼容工具的适配器。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaX中的参考文献(2篇)1标准条款

显示结果1至2的2。
按年份排序(引文

  1. David R. Cok:OpenJML:使用JML、OpenJDK和Eclipse(2014)对Java 7进行软件验证阿西夫
  2. COK,David R.:JSMTLIB:SMT-LIVv2的教程、验证和适配器工具(2011)伊波尔特