• 莫德

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

  • 在26篇文章中引用[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)是一个新的框架,它允许结构化的。。。进行扩展时的规格。莫德MST是一个可执行的工具。。。完全在MSOS中实现莫德作为MSO之间保持语义映射的实现。。。有效执行和分析莫德发动机。我们已经在几个不同的。。。
  • 普维斯塔

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

  • 引用的第15条[sw09904]
  • 证明。使用我们已经实现的这些树莫德DDebugger,一个用于莫德...
  • 克莫德

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

  • 参考第11条[sw09781]
  • 莫德条件性有序重写理论的一致性检验工具。对于重写理论。。。提出了莫德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是自然建模的莫德作为一个基于对象的系统。。。经过。可通过完全用户交互莫德,扩展莫德已经变成。。。
  • Web TLR

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

  • 引用4篇文章[sw09753]
  • 莫德工具。在复杂的混杂系统中,不同的元件可能会影响彼此的连续行为。。。莫德是一个重写的基于逻辑的工具,支持面向对象的建模方法。。。这种相互作用的混合系统中的物体。嗨-莫德支持模拟和模型检查。。。