• 塞尔4

  • 引用80篇文章[sw15222]
  • 塞尔4:操作系统内核的形式验证。完整的形式验证是唯一已知的。。。正式的,机器检查的塞尔4从一个抽象的规范下的微核。。。内核在任何可能的情况下都会表现出来。塞尔4L4种源的第三代微核。。。
  • 冰流

  • 引用5篇文章[sw13077]
  • 实施一些在塞尔4验证堆栈,并报告其优点。。。
  • 红杉

  • 在0篇文章中引用[sw22322]
  • 减少计算的WCET界限塞尔4,一个高保证的多临界保护微内核。。。
  • 涓涓细流

  • 在0篇文章中引用[sw22323]
  • WCET分析塞尔4微核。我们还评估了它在Mälardalen WCET上的有效性。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。一种机械化的计算逻辑。从。。。