运行时验证

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