|
论文《ESpin_基于SPIN的Eclipse模型检测环境》介绍了ESpin工具，该工具将SPIN模型检测器集成到Eclipse平台中，提升了软件验证的效率与易用性。通过图形化界面，开发者可以更方便地进行系统建模与错误检测，适用于并发系统的正确性分析。该研究为软件工程领域提供了强有力的验证手段，促进了模型检测技术的实际应用。 文档为pdf格式，0.43MB，总共9页。
- 文件大小:
- 440.32 KB
- 下载次数:
- 60
- ESpin_基于SPIN的Eclipse模型检测环境 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
