|
论文《基于环境的软件正确性形式化描述》发表于2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)。该文提出了一种基于环境的软件正确性形式化方法，旨在通过形式化手段精确描述软件在特定环境下的行为与需求之间的关系，提升软件系统的可靠性和安全性。研究为软件验证和可信计算提供了理论支持与技术路径。 文档为pdf格式，0.33MB，总共6页。
- 文件大小:
- 337.92 KB
- 下载次数:
- 60
- 基于环境的软件正确性形式化描述 - 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011).pdf ...
-
高速下载
| 
