基本信息

---

下载

文档摘要

---

并发系统的异步验证

1目录

第一部分并发系统异步验证的特点2

第二部分状态空间爆炸问题与缓解策略4

第三部分可察性分析与因果推理7

第四部分异步消息传递中的验证挑战9

第五部分测试覆盖率度量与评估II

第六部分模型检查技术在异步验证中的应用14

第七部分运行时监测和自动化验证18

第八部分异步验证工具与最新进展20

第一部分并发系统异步验证的特点

关键词关键要点