• 基准

  • 引用24篇文章[sw04612]
  • 安全用约束传播法验证混合系统。。。
  • 比姆

  • 引用了30篇文章[sw09815]
  • 比姆-基准对于显式模型检查程序。这个基准集合包括50多个参数化模型。。。它们的正确性属性(两者安全和活力)。这个基准集合是伴随的。。。
  • 法弗

  • 引用113篇文章[sw04123]
  • 用于精确验证的工具阳离子安全具有分片性质的混合系统。。。多面体。导航实验结果基准隧道二极管电路显示目标。。。
  • 和尚

  • 1条引用【sw32815】
  • 国际临界性实验安全 基准评估项目(ICSBEP)手册。支持。。。
  • 联轴节

  • 引用31篇文章[sw07861]
  • 模拟。对联中出现的模型基准是一套简化的,但现实的。。。现场模型接近用于安全核废料管理评估。它导致。。。
  • 发生

  • 引用24篇文章[sw10057]
  • 类型安全的指针安全必须在运行时检查。我们证明。。。建立了C程序,如几个SPECINT95基准...
  • 垫片

  • 参考11篇文章【sw19496】
  • 一种基于符号模型检测的算法安全递归程序的验证。算法是模块化的。。。近似量化宽松。SV-COMP的实证评价基准结果表明,我们的算法有显著的改进。。。
  • 金发姑娘

  • 在10篇文章中引用[sw12806]
  • 各种公开可用的Java基准以及一些结合了基于锁的微基准。。。执行安全多线程Java程序的执行。。。
  • 薄雾

  • 引用2篇文章[sw33293]
  • 扩展。雾是检查的工具安全类Petri网模型的性质。它实现了。。。脚本运行雾对集基准以及一个使用。。。
  • 著名的

  • 引用3篇文章[sw25847]
  • 故障树计算机代码中的树基准锻炼。这些代码现在被使用。。。Forschungszentrum Julich GmbH,研究所安全研究和反应堆技术(ISR-1),52425朱利希。。。
  • 侵权-TD/ATTICA3D

  • 1条引用[sw07343]
  • 安全边距。侵权行为的计算能力。。。OECD/NEA/NSC PBMR-400的结果基准证明侵权行为的暂时能力。。。
  • 单片机

  • 1条引用[sw14482]
  • FIFO通道。McScM为安全验证和控制器综合这些无限。。。也可以让我们比较基准相同后端的不同算法方法。。。
  • 为什么

  • 1条引用[sw36851]
  • 年。这种验证不仅涉及安全,但功能完全正确。。。我们已经实现的算法,包括基准把我们的图书馆和。。。
  • 1条引用[sw34182]
  • 网络拓扑(交换机和连接),以及安全属性,并执行分布式枚举可达性。。。Kuai在标准SDN上的覆盖率基准. 我们证明了我们的偏序集。。。
  • 活动监视器

  • 1条引用[sw21567]
  • 监视对象广泛用于线程-安全共享内存并行程序中的同步。。。基于Java的ActiveMonitor在micro上的实现-基准包括轻的和重的关键部分。。。
  • 肌炎

  • 1条引用[sw36936]
  • 满足有界时间高级属性,包括安全,可达性和可达性避免规范。在肌萎缩。。。分析大规模随机系统。我们基准对最新的工具。。。
  • FlexJava公司

  • 1条引用[sw22892]
  • 近似值。FlexJava旨在支持安全软件开发中的模块化、通用性和可扩展性。。。质量和能量测量。此外,所有基准我们用来做实验的。。。
  • UMC4M公司

  • 1条引用[sw31709]
  • 软件系统。为了验证安全文中给出了这类系统的可靠性和安全性。。。由一个叫做C2M的工具实现。A基准包括13个真实世界的实验。。。
  • 2百万

  • 1条引用[sw31711]
  • 软件系统。为了验证安全文中给出了这类系统的可靠性和安全性。。。由一个叫做C2M的工具实现。A基准包括13个真实世界的实验。。。
  • HighlightsRTC

  • 在0篇文章中引用[sw24324]
  • 操作系统。但是缺乏动力安全检查和相对薄弱的系统。。。便携。在针对已知错误检测的测试中基准,RTC发现98%的内存相关。。。用运行时指令C程序安全检查。它处理内存冲突、算术下溢/溢出和类型。。。