运行时验证

• 运行时验证
  • 运行时监视器和反应器
  • 在线 RV 监视器
  • 用户界面
• 确定性自动机
  • C 语言中的确定性自动机
  • Graphviz .dot 格式
  • dot2c
  • 备注
  • 参考文献
• 线性时序逻辑
  • 简介
  • 语法
  • 线性时序逻辑示例
  • 监视器综合
  • 参考文献
• 混合自动机
  • 示例
  • C 语言中的混合自动机
  • Graphviz .dot 格式
  • 参考文献
• 运行时验证监视器综合
  • RV 监视器综合
  • rvgen
  • 监视器头文件
  • 结束语
• 确定性自动机插桩
  • 跟踪回调函数
  • 启用和禁用函数
  • 插桩辅助程序
• 监视器 wip
  • 描述
  • 规范
• 监视器 wwnr
  • 描述
  • 规范
• 调度器监视器
  • 描述
  • 规范
  • 监视器 nrp
  • 监视器 sssw
  • 监视器 opid
  • 参考文献
• 实时应用程序监视器
  • 描述
• 监视器 stall
  • 描述
  • 规范
• 截止期限监视器
  • 描述
  • 规范