程序的形式验证内容摘要:

参考书 • Jacques Loeckx and Kurt Sieber. The Foundation of Program Verification. John Wiley amp。 Sons Ltd., 1984. • Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990. • Nissim Francez. Program Verification. AddisonWesley Publishing Company Inc., 1992. • Edmund Clark, Orna Grumberg and Doron Peled. Model Checking. MIT press, 1999. • Doron A. Peled. Software Reliability Methods. SpringerVerlag. 2020. • C。
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。 用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。