• 逆合成孔径雷达

  • 135篇参考文献[SW04999 ]
  • 用户级工作的抽象化。逆合成孔径雷达正式证明语言已被设计来满足…潜在的逻辑,并集成了广泛的自动化证明方法. 交互式证明开发…系统为Isar提供解释器正式证明文件语言。伊莎贝尔/ ISAR输入包括…紧密集成到伊莎贝尔/纯元-逻辑实施。理论,定理,证明过程…
  • 聚苯硫醚

  • 89篇参考文献[SW05357]
  • 组件当前应用程序势在必行,功能性和逻辑语言,同步语言和同步协议,真实…发挥了重要作用正式 方法社区和几个关键任务依赖…
  • RRL

  • 55篇参考文献[SW28 904]
  • 关于等式的自动推理算法的实验逻辑基于重写技术…调查使用工具正式 方法在硬件和软件设计方面。我们提供…
  • 制服

  • 8篇参考文献[ SW10332 ]
  • 工作台支持组合正式 方法(在固体上)符合逻辑的基金会)提供工具…
  • 拉丁

  • 15篇参考文献[SW19699 ]
  • 发展方法接口技术和工具逻辑学及相关正式系统这些系统…
  • 谷神星

  • 20篇参考文献[SW0942]
  • 证明变换逻辑. 删减正式证明对应于移除…数学证明中的引理。切割消去法方法CIEES(消除分辨率的决议)工作…
  • 泰约斯

  • 16篇参考文献[SW21364 ]
  • 传统中不存在的水平逻辑编程语言一些研究已经建立…正式对象,如公式、程序、证明和类型。利用这些好处,方法有……
  • DLV

  • 21篇参考文献[SW04640]
  • 支持基于A的语言符合逻辑的 形式主义具有很高的表达力…快速解决,而只涉及更难的问题方法更高的计算成本…
  • UNQL

  • 9篇参考文献[ SW200 18]
  • 最优化的基础方法对于中介系统。其他几个正式性质建立:结构…递归可以用一阶表示。逻辑具有传递闭包的扩展;
  • 佩斯塔

  • 16篇参考文献[SW08423 ]
  • 统计模型检验是有吸引力的正式分析方法对于概率系统…PCTL/CSL,或(ii)QuATEX定量时间逻辑. 实验结果表明:
  • 乌尔姆

  • 24篇参考文献[SW10400 ]
  • 依赖于反应扩散主方程形式主义对正在研究的过程进行建模…模型构建。核心模拟例程是逻辑上与模型构建接口分离…网格,这意味着新开发的方法可以测试在现实的设置已经…
  • HTAB

  • 11篇参考文献[SW12427 ]
  • 形式主义这两种模式都密切相关。逻辑描述逻辑. 品种…杂交证明机制逻辑存在,但唯一广泛使用的证明系统,Hyeles…基于分辨率方法. 解决方案的另一种选择是表方法已经广泛…
  • APNN工具箱

  • 11篇参考文献[SW0696]
  • 工具箱有明确的分析重点方法考虑完整的状态空间…控制后续分析。其他建模形式主义和工具连接到APNN工具箱,这个…过程链工具形式主义在物流网络建模中的应用…逻辑(CTL)与线性时间逻辑(LTL)考虑更一般的性质。所有这些方法
  • 球状的

  • 3篇参考文献[SW1803]
  • 形式化证明的逻辑拓扑和代数不是其他形式化的方法
  • 雷特DP

  • 2篇参考文献[SW22665 ]
  • 现有的正式 方法差异隐私面临着一个两难境地:方法基于定制逻辑学
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 可分离子集的证明器逻辑. 和VeliSalk一起,证明了一个响亮的小脚…触手可及正式 方法. 作为一对,Vististar和VISISMALL代表了第一个…机器验证程序的紧密集成收集逻辑学和编译器提供基础正确性保证。
  • 真理/ SLC

  • 8篇参考文献[ SW01623 ]
  • 内在复杂性的观点正式 方法希望为用户提供…在适当的条件下指定的某些属性逻辑
  • 阿戈

  • 10篇参考文献[SW07192]
  • 生产正式可读证明:一个定理证明器逻辑被称为ARGOCLP,提出…几何证明。相干的逻辑是一阶的片段逻辑. 结构…原子相联的公式逻辑在上下文中提供不同的优点…比所产生的容易得多方法像吴一样方法微积分…
  • 弗朗特

  • 2篇参考文献[SW28 410]
  • 频繁概念挖掘算法正式本体论。本文介绍了一个频繁概念的任务。逻辑. 我们设计了一种在标准ELS++描述中挖掘频繁模式的算法。逻辑也报告我们的执行情况方法. 作为描述逻辑提供了理论依据。逻辑概念对应于OWL类,我们设想我们可能使用的建议。方法