论文部分内容阅读
软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.