• 太阳能

  • 引用18条[sw00888]
  • 太阳能(SOLAR for Advanced Reasoning)是第一个。。。
  • 依斯

  • 参考文献136篇[sw04436]
  • Yices是一个高效的SMT解决方案,它决定。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 目标3

  • 引用138篇文章[sw05370]
  • OBJ3是一个程序规范和证明系统。。。
  • 莫德

  • 引用652篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 卡扣:一个冲突驱动的答案集解决方案。钩子。。。
  • CVC4

  • 引用98篇文章[sw09485]
  • CVC4是一个有效的开源自动定理。。。
  • MFE公司

  • 引用4篇文章[sw09764]
  • Maude Formal Environment(MFE)是一个可执行的。。。
  • 保鲜膜

  • 引用了43篇文章[sw09893]
  • Potasco,波茨坦答案集解决方案集,捆绑。。。