• 雾化器

  • 17条引用[sw08924]
  • 关注更基本的-干扰原子性的性质;方法是原子的。。。
  • 单轨

  • 参考7篇文章[sw09883]
  • 并行代码没有这种线程干扰错误。确定的并行代码可能会创建。。。代码不能满足传统-干扰原子性(或可串行化)的性质,然而。。。并行代码。我们引入一种新的-干扰确定性并行代码规范。。。因为它强制执行一个更一般的-干扰适用于更多软件的属性。。。
  • HLIO公司

  • 引用3篇文章[sw22611]
  • 约束多态性。我们把HLIO正式化,证明-干扰,并展示如何有趣的IFC示例。。。
  • 安妮卡

  • 1条引用[sw22198]
  • 安妮卡是一个自动的-干扰检查助手,检查阳性部位-干扰(PBNI。。。基于地点-干扰安全Petri网的降级(PBNID)。安妮卡。。。每次违反的见证路径-干扰;提供全自动。。。
  • 罗丹

  • 引用80篇文章[sw07083]
  • Rodin平台是一个基于Eclipse的IDE。。。
  • 阿格达

  • 引用了187篇文章[sw09689]
  • Agda是一种独立类型的函数式编程语言。。。
  • 厚板

  • 引用8篇文章[sw09875]
  • SLAB:一个无限状态的验证模型检查器。。。
  • 典范

  • 引用8篇文章[sw13306]
  • 信息流控制实用程序设计的典范。。。
  • 团结

  • 在184篇文章中引用[sw13461]
  • 统一仿真模型开发与分析。我们。。。