程序的形式验证内容摘要:
参考书 • 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。程序的形式验证
本资源仅提供20页预览,下载后可查看全文
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。
相关推荐
程序设计实习第三讲字符串处理
void main( void ) { char *pdest。 int result。 pdest = strchr( string, ch )。 result = pdest string + 1。 if( pdest != NULL ) printf( Result:\tfirst %c found at position %d\n\n, ch, result )。 else
程序语言的现在和未来
+/Java/C Pascal • 过去的辉煌 –完美的结构化使其成为优秀的教学语言 • 现在的辉煌 – Delphi、 Kylix –强大的扩展库 –一直在进步的 IDE • 未来 …… – Borland公司的工作重心已经在 JBuilder,甚至 C Builder C • 仍然是很多高素质程序员 (黑客 )的最爱 • 良好设计的 C程序的重用性、扩展性等并不比面向对象程序
秦俑的发现,可以说是八大奇迹了。不看金字塔不算真正
金字塔是如何建造起来的。 第四段 (第 6自然段 ):点明埃及金字塔是埃及的象征和古代埃及人民智慧的结果。 巍然屹立 傲对碧空 • 金字塔高( )米多,相当于( )层高的摩天大厦。 绕金字塔( )周,差不多要走( )公里的路程。 塔身由( )万块巨石砌成,这些石块平均每块重(
科研创新网络平台全新版
学院确认阶段 (学院领导小组组长登录平台,审核通过学院项目) 学校确认阶段 科研立项工作阶段划分 项目进行阶段 中期检查阶段 结题检查阶段 结题资料提交阶段 结题评奖阶段 用户登陆 网络平台主页 登录角色 访客 项目团队成员 项目指导教师 学院秘书处老师 学院领导小组组长 学校管理员 访客功能 浏览网络平台中全部项目的进展信息,查看项目申报书、日志