• F*

  • 18篇参考文献[SW27 563]
  • 一元效应、细化类型和一个最弱的 先决条件微积分。总之,这些特征允许表达精确的…
  • ZRC

  • 14篇参考文献[SW21827 ]
  • 这种语言。此外,我们提出了最弱的 先决条件ZRC-L的语义,…
  • PGCL

  • 12篇参考文献[SW13078]
  • 两者)使用HORE三元组,或最弱的-先决条件蕴涵在GCL风格中。
  • 示踪剂

  • 11篇参考文献[SW0944]
  • 无界环示踪剂计算插值(使用)最弱的 先决条件在其他方法中,从不可行路径…
  • 守护神

  • 6篇参考文献[SW13707]
  • Snugglebug:一个强有力的方法最弱的 先决条件. 符号分析表明承诺是基础。基于过程间反向传播的最弱的 先决条件. 我们提出了一些新的技术来改进…便宜的自定义逻辑简化器最弱的 先决条件计算极大地提高了性能。我们已经实施了…
  • RBAC-PAT

  • 3篇参考文献[SW0782]
  • 包括可达性、可用性、安全性在内的各种性质,最弱的 先决条件死角色和信息流…
  • 代数VCS

  • 1篇参考文献[SW32217]
  • 代数与测试,验证组件最弱的 先决条件基于KLeNe代数的最强后验条件…将跟踪语义编程到最弱的 先决条件组件
  • 离子注入法

  • 1篇参考文献[SW10040]
  • 可疑整数溢出漏洞。最后最弱的 先决条件技术用于验证可疑的…
  • LCTD

  • 1篇参考文献[SW17728 ]
  • 构造方法最弱的 先决条件基于{ScDAS}}的细化操作符用于指令…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 挑剔

  • 54篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • 荣光

  • 5篇参考文献[SW02527 ]
  • 晕——一种模糊编程语言。本文论述了…