软件可靠性方法

本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们的优点和缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。本书适合于从事软件开发的广大读者，尤其适合高年级本科生软件可靠性课程和硕士阶段软件工程课程使用。