• 莫德

  • 引用660篇[sw06233]
  • 莫德是一种支持等式和重写逻辑的高性能反射语言和系统。。。为广泛的应用程序编程。莫德受到了重要影响。。。亚语言。除了支持等式规范和编程外,莫德还支持重写逻辑计算。。。
  • 莫德国家公园

  • 引用了29篇文章[sw12159]
  • 状态空间缩减莫德-NRL协议分析仪。这个莫德-NRL协议分析仪(莫德... 以一种更有限的方式进行等式推理。莫德-NPA支持多种代数。。。例如,一次性垫子和Diffie Hellman。莫德-NPA,和原来的NPA一样,看起来。。。我们在中实现的简化技术莫德-国家公园。我们还提供完整性证明。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 由用户在莫德重写逻辑,在哪里莫德是高速。。。这里扩展了可执行的时序逻辑。这个莫德重写引擎然后被激活。。。
  • 爪哇凡

  • 引用了30篇文章[sw01934]
  • 只有3000行莫德代码,正式指定Java的语义。。。然后使用莫德为了高效执行,搜索和LTL模型。。。
  • CiME公司

  • 在38篇文章中引用[sw09970]
  • 工具(http://www.lcc.uma.es/duran/MTT/)用于终止莫德程序。CiME2不再被维护。。。
  • MTT法

  • 引用21篇文章[sw09783]
  • 莫德终端工具。尽管重写终止理论有了显著的发展。。。最新配方的核心莫德...
  • 百万吨

  • 引用16条[sw07905]
  • 莫德MSOS工具。结构语义学(MSOS)是一种新的结构语义学。。。进行扩展时的规格。莫德MSOS工具(MMT)是一个可执行的环境。。。MSOS全面实施莫德作为MSO之间保持语义映射的实现。。。有效执行和分析莫德发动机。我们已经在几个不同的。。。
  • 普维斯塔

  • 引用16条[SW083号]
  • 分析的可扩展性可用于以下工具莫德,其中概率系统可以指定。。。或(ii)概率重写理论莫德. 此外,它可以模拟的性质。。。
  • 克莫德

  • 在10篇文章中引用[sw09747]
  • 莫德:一种基于重写的编程语言语义工具。K是一个基于重写的。。。定义编程语言的框架。K-莫德是一个实现。。。莫德. K-莫德提供一个接受K个模块和常规模块的接口莫德模块。。。将K语言定义转换为莫德重写理论以便执行或分析。。。
  • ChC 3

  • 参考11篇文章[SW091号文件]
  • 莫德条件性有序重写理论的一致性检验工具。对于重写理论。。。提出了莫德ChC 3工具,它提供了这样一个概括。。。
  • 自密实混凝土

  • 参考11篇文章[sw09809]
  • 部分工具规格。我们提出莫德充分的完整性工具,它明确支持足够的。。。解除,确保足够完整;和(ii)莫德的归纳定理证明程序(ITP)是使用。。。
  • 卡里布

  • 在14篇文章中引用[sw10064]
  • 适用于ASF+SDF等语言,莫德咖啡厅或伊兰。相比之下。。。
  • CRC 3号

  • 引用9篇文章[sw09782]
  • 条件序排序方程的检验工具莫德规范。教堂罗斯尔的财产,连同。。。全新版本的莫德Church Rosser Checker工具,解决以上所有问题。。。
  • Java+ITP

  • 引用8篇文章[sw32259]
  • 这个片段作为一个等式理论莫德. 它支持在一个古老的组成推理。。。然后发送到莫德的归纳定理证明器。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 使用MOMENT2进行模拟和模型检查莫德-基于分析工具。就这样,MOMENT2。。。
  • MFE公司

  • 引用4篇文章[sw09764]
  • 莫德形式环境(MFE)是一个可执行和高度可扩展的软件基础设施,其中。。。几种机械验证材料性能的工具莫德规范。在MFE中,工具可以互操作。。。其他功能。MFE是自然建模的莫德作为一个基于对象的系统。。。经过。用户交互可通过莫德,扩展莫德已经变成。。。
  • 伊朱利恩

  • 参考6篇文章[sw09903]
  • 用于计算的抽象视图莫德帮助用户理解和调试程序的执行。。。给予莫德执行跟踪和切片标准,它包括。。。
  • Web TLR

  • 引用8篇文章[sw09905]
  • 通过使用莫德内置LTLR模型检查器。网络TLR配备。。。