• 基础知识

  • 引用了37篇文章[sw12910]
  • 逻辑公共领域系统合成正式的二元逻辑电路出现之验证。。。关注顺序的协同作用合成顺序验证导致了两个方面的改进。。。开发,并说明其在正式的验证。。。
  • 视觉

  • 17条引用[sw40003]
  • 具有合成)是一个系统正式的验证,合成以及有限状态系统的模拟。。。最近,人们对正式的验证,如语言包容和时间。。。
  • 流氓

  • 在10篇文章中引用[sw15042]
  • 需求分析工具合成.正式的规范在系统设计中扮演着越来越重要的角色。。。接近。第三,它允许通过构造纠正合成从系统的时间特性。这些。。。
  • 大都市

  • 17条引用[sw16265]
  • 支持仿真的系统设计,正式的分析,以及合成...
  • 垂直

  • 引用4篇文章[sw08200]
  • 可重用软件组件的设计合成生成软件代码,并自动。。。它集成了基于软件组件的重用,正式的 合成,和正式的验证。A正式的基于UML。。。提出了构件复用模型。正式的 合成采用准静态和准动态调度。。。多层可移植高效代码的自动生成。正式的验证集成了一个模型检查器内核。。。
  • 牡蛎

  • 参考33篇文章[sw19629]
  • 程序合成加牡蛎。马丁-洛夫型理论提供了一个正式的结构框架。。。接近。我们通过描述合成一个简单的算术表达式求值器。。。
  • 模仿者

  • 引用了29篇文章[sw00439]
  • 带参数的系统。它依赖于形式主义参数时间自动机网络,增广。。。秒表。它实现了包括安全性在内的多种算法合成,健壮性,不定时的语言保存,非芝诺。。。
  • 中华民国

  • 引用4篇文章[sw28114]
  • 非线性动力系统。不同于其他正式的控制合成工具,它保证生成。。。
  • 引用15篇文章[sw02075]
  • WoLFram——一个用于正式的验证及其应用。一个自动。。。介绍了SystemC。综合流程合成验证调试成功。。。现代SAT解算器可以正式地在短时间内验证PLC程序。。。
  • 萨波

  • 引用3篇文章[sw23566]
  • 参数合成多项式动力系统。Sapo是一个正式的分析。。。初始条件,2)合成也就是说,一组参数的细化。。。用多面体表示正式化作为信号时序逻辑(STL)公式。。。
  • 杰胡尔

  • 引用2篇文章[sw10084]
  • 杰胡尔:A正式的软件框架合成我们提出了一个理论上可靠的自动化模型。。。架构。框架包括(1)a正式的提供平台无关结构的语言。。。
  • 粗壮的

  • 引用3篇文章[sw36937]
  • StocHy:自动验证和合成随机过程。StocHy是一个软件工具。。。给定的时间范围;自动构造正式的SHS摘要。那么抽象就是。。。受雇于(二)正式的验证或(iii)控制(政策、策略)合成.StocHy允许模块化。。。
  • 利斯

  • 引用4篇文章【sw20205】
  • 基于同步合成)这是我们FMSD的Liss版本(正式的方法。。。使用同步的抢占式调度合成。在FMSD(2015)中,提交[2]http://thorstant.github.io/theses/。。。
  • 自动人行道/CC

  • 引用4篇文章[sw01806]
  • 合成具有自动代码认证——系统描述。代码认证是一种轻量级的方法正式地...
  • 米兹3

  • 参考11篇文章[sw18631]
  • 交互式定理证明。我们提议合成交互定理的两种证明方式。。。陈述式风格——写作的可能性正式的像普通数学文本一样的证明-和程序。。。
  • 两性离子

  • 引用5篇文章[sw09953]
  • 创建一个表示正式的基于领域理论的菜单规格说明。。。也用于记录规范。程序合成基于构造定理证明。。。
  • 达德拉

  • 1条引用[sw40400]
  • 验证和控制器合成。虽然传统的可达性分析方法提供了正式的保证。。。
  • 古特尔

  • 引用2篇文章[sw12872]
  • 门级网表,并链接到逻辑合成/优化工具(如伯克利ABC)。我们有。。。各种RTL的设计和应用正式的使用第三方工具进行等效性检查。。。