• 毫升

  • 在502篇文章中引用[sw01218]
  • 比如在编译程序写作,自动定理证明和形式化验证. (维基百科。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • 幽灵构造仅在验证;的编译程序从可执行代码中省略它们。。。
  • 公司证书

  • 引用了43篇文章[sw09737]
  • CompCert项目调查正式验证现实的编译器可用于关键嵌入式软件。这样。。。
  • 卡格默尔

  • 引用了43篇文章[sw08799]
  • 被CakeML的语义所允许。我们的验证努力涉及广泛的话题。。。词法分析、解析、类型检查、增量和动态汇编,垃圾回收,任意精度算术,以及编译程序... 证明了验证努力在实践中可以用。。。挑战性方面验证. 特别是,我们正式证实编译程序可以自我引导。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • 凯撒-汇编&验证LOTOS规范。凯撒[Gar89b,GS90]是一个编译程序也就是说。。。本规范。凯撒本身并没有体现验证功能,但它与许多。。。
  • 无级变速器

  • 引用15篇文章【sw09952】
  • CVT(验证工具)。自动验证汇编过程。我们描述CVT——一个完整的。。。由代码生成器生成(相当于编译程序或翻译)是一个正确的实现。。。完全正式的替代品验证代码生成器程序的。。。
  • 塞尔4

  • 引用79篇文章[sw15222]
  • 有执行正式机器检查的经验验证从一个抽象的seL4微核。。。实施。我们假设编译程序,汇编代码和硬件,我们使用了一个独特的。。。
  • 皮尔斯纳

  • 参考第4条[sw20004]
  • 高阶祈使语言。编译程序 验证对于构建完全验证的软件。。。CompCert)专注于验证整个程序编译器. 支持分离汇编为了使。。。开发一种新的作曲方法编译程序 验证基于参数化语言间模拟(PILS。。。PIL是模块化的:它们使编译程序 验证以独立的方式汇编. 皮尔斯。。。
  • 埃斯特雷尔

  • 引用161篇[sw20012]
  • 系统和控制自动机。Esterel v5编译程序软件可以用来生成。。。提供显式或基于BDD的支持验证执行交互模拟减少的工具。。。
  • TVOC公司

  • 引用19篇文章[sw02521]
  • 运行编译程序. 有两个阶段验证过程:第一阶段验证。。。
  • 沟槽

  • 引用了50篇文章[sw09480]
  • 面向对象的图形验证(凹槽)。GROOVE是一个围绕。。。为设计时间建模的简单图形,编译-时间和对象的运行时结构。。。
  • 薄片

  • 引用8篇文章[sw23311]
  • LLVM公司编译程序中间(中间)布吉表示法验证语言(IVL)。采购。。。LLVM-IR利用越来越多的编译程序前端、优化和分析。瞄准布吉。。。简化了算法的实现验证模型检查和抽象解释。。。
  • 不明飞行物

  • 引用19篇文章[sw09570]
  • 基于抽象和插值的软件框架验证. 在本文中,我们提出。。。LLVM公司编译程序基础设施,目标是研究人员设计和试验验证算法。。。
  • AnBx公司

  • 引用3篇文章[SW775号]
  • AnBx公司编译程序和Java代码生成器:安全协议规范,验证和实现-爱丽丝。。。爪哇编译程序. 特点:AnBx到AnB编译程序对于验证(需要OFMC模型检查器);Java。。。
  • 西格玛*

  • 引用8篇文章[sw21731]
  • 对网络消毒剂有用验证和流式程序编译程序优化,正如我们在实验中所展示的。。。
  • 科瓦茨

  • 参考7篇文章[sw21472]
  • 科瓦茨:编译程序通过交叉产品的程序分析进行验证。本文提出了一个演绎。。。应用于自动验证通过优化执行的转换编译器. 要利用现有的程序分析。。。
  • 循环

  • 引用了29篇文章[sw10292]
  • 循环编译程序对于Java和JML。本文描述了循环工具的体系结构。。。定理证明器验证所需属性的发生。也。。。
  • 约基

  • 参考第4条【sw13771】
  • 从jimple到boogie。最近,软件验证被用来证明存在。。。编译程序优化。验证正确性属性的翻译。。。
  • LTSA-WS

  • 引用13篇文章[sw10585]
  • 服务实现。工具支持验证从设计规范和实现模型创建的属性。。。消息序列图(MSCs),然后编译进入有限状态过程(FSP)过程代数。。。允许等价跟踪验证要执行的过程。通过提供早期设计验证...
  • 普通中等教育

  • 参考第4条[sw22622]
  • 使用任何编译程序技术和任何想要的程度验证,包括完整的语义保留。。。应用我们的框架,我们描述了一个编译程序对于哈斯凯尔,翻译格拉斯哥哈斯克尔。。。