论文部分内容阅读
形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持了计算系统开发、运行和演化之工具、平台、环境的构建．本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果.