原创力文档- 11
- 0
- 约1.49万字
- 约 4页
- 2015-09-26 发布于重庆
- 举报
VeriSoft A Tool for the Automatic Analysis of Concurrent Reactive Software
VeriSoft A To ol for the Automatic Analysis of
Concurrent Reactive Software
Patrice Go defroid
Bell Lab oratories
Lucent Technologies
E Warrenville Road
Nap erville IL USA
godbelllabscom
httpwwwbelllabscomg od
Abstract VeriSoft is a to ol for systematically exploring the state spaces
您可能关注的文档
- ssh中service层与dao层解耦的问题.doc
- SSL TSL普及成必然趋势 深度剖析SSL TSL的实现.docx
- SSL证书被攻击被假冒的风险分析.doc
- SSL证书已被企业邮箱广泛采用 加强信息传输安全性.pdf
- SSL通信原理及Tomcat SSL双向配置.pdf
- SSL教学法对学生学习主动性的培养.pdf
- SSO的工作原理示意图.ppt
- stack与heap的区别.pdf
- Stability Analysis For a Class of Nonlinear Switched Systems.pdf
- Stability Analysis of the Ant System Dynamics with Nonuniform.pdf
最近下载
- 国际私法学（西南政大）中国大学MOOC慕课 章节测验期末考试答案.docx VIP
- 第4课 洋务运动和边疆危机 课件(共25张PPT).pptx VIP
- 《热工基础与应用（第3版）》傅秦生（电子课件）试题2.docx VIP
- 资料课件教程摔跤吧爸爸.pdf VIP
- 特岗教师小学信息技术试题.docx VIP
- NB_T 10087-2018 陆上风电场工程施工安装技术规程.docx VIP
- 2025年成都市金牛区网格员考试题库(附答案).docx VIP
- 2026年1月浙江省普通高校招生选考物理试卷+答案解析.pdf
- 2026年人教版七年级英语下册期末检测卷（二） 附答案解析 (1).docx VIP
- T_CEPPEA 5028-2023 陆上风力发电机组预应力预制混凝士塔筒施工与质量验收规范.pdf VIP
文档评论（0）