运行时验证

• 运行时验证
  • 运行时监视器和反应器
  • 在线RV监视器
  • 用户界面
• 确定性自动机
  • C语言中的确定性自动机
  • Graphviz .dot 格式
  • dot2c
  • 备注
  • 参考文献
• 确定性自动机监视器合成
  • DA 监视器合成
  • dot2k
  • 监视器宏
  • 总结
• 确定性自动机插桩
  • 跟踪回调函数
  • 启用和禁用函数
  • 插桩助手
• Monitor wip (开发中)
  • 描述
  • 规范
• Monitor wwnr
  • 描述
  • 规范
• 调度器监视器
  • 描述
  • 规范
  • 参考文献