• 阿加达

  • 171篇参考文献[SW0969]
  • Unicode字符和互动Emacs接口(类型)棋盘格可以协助开发…您的代码)。Agda也是证明助理:这是一个互动书写系统
  • 普罗梅拉

  • 30篇参考文献[SW07635]
  • 关于这样的逻辑正确性要求交互作用. 模型棋盘格自旋接受规范写在这个…语言,它可以自动生成校样对于每种类型的财产。自旋或证明…
  • F*

  • 18篇参考文献[SW27 563]
  • 具有A的表达能力的工具证明基于依赖类型的助手。核实后…正确性和安全性。F*型棋盘格旨在证明程序满足他们的…SMT解决方案的组合互动 校样
  • 磁流体动力学

  • 4篇参考文献[SW097 64 ]
  • 跟踪未决的机制证明义务,并允许执行几个实例…它们的通信机制是消息传递。用户互动可通过完整的莫德,延长…莫德终止工具(MTT),教堂蔷薇棋盘格(CRC),相干性棋盘格(CHC),足够的…
  • 日本摩卡

  • 3篇参考文献[SW2477]
  • 模型检验中的结构和模型棋盘格JMOCHA(Java模型检查算法)是基于…反应模块JMOCHA是一个正在增长的互动规范、仿真和验证的软件环境…通过检查跟踪遏制验证;(5)a证明爱滋病的成分和保证…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言互动
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • TPS

  • 71篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • 棱镜

  • 393篇参考文献[SW01186]
  • 棱镜:概率符号模型棋盘格. 在本文中…
  • 毫升

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

  • 22篇参考文献[SW02489]
  • 我们描述了一些新的可能性…