• 辅酶Q

  • 1739篇参考文献[SW0161]
  • 证明管理系统。它提供了一个正式 语言编写数学定义,可执行算法…校样。典型应用包括形式化编程的语言语义(例如编译器编译器证书)…工业环境下的卡片EAL7认证形式化数学(如数学)形式化
  • 伊莎贝尔/霍尔

  • 916篇参考文献[SW01569]
  • 用公式表示的公式正式 语言并提供了证明这些公式的工具…逻辑演算主要应用是形式化数学证明,特别是数学证明正式计算机软件及其证明性质语言和协议…
  • 伊莎贝尔

  • 591篇参考文献[SW044]
  • 用公式表示的公式正式 语言并提供了证明这些公式的工具…逻辑演算主要应用是形式化数学证明,特别是数学证明正式计算机软件及其证明性质语言和协议…
  • 毫升

  • 498篇参考文献[SW01218]
  • 语言是一个通用的函数式程序设计语言. 它起源于LISP…确保类型安全-有一个正式证明一个良好的ML程序…语言完全指定和验证使用正式语义学。它的类型和模式匹配…常用于其他操作正式 语言,比如编译器编写,自动定理…
  • 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 用户级工作。逆合成孔径雷达正式证明语言已经被设计成满足相当矛盾的…系统提供ISAR作为另一种证明语言界面层,超越传统的战术脚本…Isar译员正式证明文件语言. 伊莎贝尔/ ISAR输入包括适当的文档…
  • 阿维斯帕

  • 80篇参考文献[SW03172]
  • 提供模块化和表达性正式 语言用于指定协议及其安全属性…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 更具实用性形式化更接近非正式数学…归纳类型,提供表现力语言形式化数学问题和程序规范…
  • 伊莎贝尔/ZF

  • 60篇参考文献[SW0493]
  • 用公式表示的公式正式 语言并提供了证明这些公式的工具…逻辑演算主要应用是形式化数学证明,特别是数学证明正式计算机的证明性质语言和协议。伊莎贝尔/ZF形式化大部分的初级…
  • 马蒂塔

  • 69篇参考文献[SW06140]
  • 机器协作。它提供了一个正式 语言数学定义、可执行算法和定理共存的地方…
  • PVS

  • 600篇参考文献[SW0384]
  • 验证系统:即规格语言与支持工具和定理证明器集成…机械化技术正式方法和足够坚固的…
  • PDDL

  • 88篇参考文献[SW07079]
  • 描述语法语言它的正式语义和并发计划的验证…
  • GF

  • 32篇参考文献[SW13667 ]
  • 理论语法形式主义. 语法框架(GF)是一种特殊用途的功能。语言用于定义语法…字符串GF可以描述两者正式自然语言. 这个描述的关键概念…自然语言或优先于正式 语言. 语法对象有一个类型系统,这有助于…树木可以同时观察不同的树木。语言. 本文从一个渐进的开始…
  • 蝇斑

  • 107篇参考文献[SW1027 7]
  • 平台支持书写自然语言“叙事”,包括岛屿正式文本这个正式文本
  • 博客

  • 39篇参考文献[SW22025]
  • 本文介绍并说明了博客正式 语言用于定义概率模型与世界…
  • 班德拉

  • 134篇参考文献[SW07663]
  • 软件需求形式化的在Bandera的时态规范中语言并生成程序模型…
  • 洛托斯

  • 150篇参考文献[SW0961]
  • 规格语言这是专门开发的。正式OSI的描述(Open…
  • JUnit

  • 29篇参考文献[SW07262]
  • 单元测试更容易。它使用了正式规格语言运行时断言检查器来决定…编写测试代码,程序员编写正式规范(例如,前和后条件)。这使得…使用Java建模实现这一思想语言(JML)和JUnit测试框架…与其他组合容易实现正式规格语言和单元测试工具…
  • E-Lotos

  • 25篇参考文献[SW03017]
  • 正式手续到UML。E-Lotos,ISO标准规范的新版本语言洛托斯…用来给正式意思是,并且发现UML模型中的不一致性…这可以在A中建模。正式 语言
  • GHC

  • 43篇参考文献[SW23 765 ]
  • 密切关系形式主义包括数据流语言通信顺序过程和功能语言
  • 比查姆

  • 40篇参考文献[ SW099 27 ]
  • 基于时间逻辑的微分、随机)语言形式化生物的时间特性