• MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • PVS

  • 598篇参考文献[SW0384]
  • PVS是一种验证系统。
  • Z3

  • 465篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 米兰达

  • 148篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • 莫德

  • 649篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 证明

  • 143篇参考文献[ SW07831 ]
  • 证明1.2:在依赖关系中自动终止证明…
  • MCMT

  • 18篇参考文献[SW11911]
  • Mcmt:模型检查员对理论进行建模。我们描述…
  • 海角

  • 11篇参考文献[SW1874]
  • 海角验证框架。在本文中,我们…