论文部分内容阅读
形式化方法是指有严格数学基础的软件和系统开发方法，可支持计算机系统及软件的规约、设计、验证与演化等活动。随着高可信软件的兴起，形式化方法的关注度日益提高。其作用不仅体现在人们对计算系统规律认识的深入，更体现在对计算系统开发、运行和演化的工具与平台构建的基础性支持。近年来，形式化方法也在向生物科学、物理科学等领域交叉渗透。