该【DTRC等价性的形式自动证明的任务书 】是由【niuww】上传分享,文档一共【2】页,该文档可以免费在线阅读,需要了解更多关于【DTRC等价性的形式自动证明的任务书 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。DTRC等价性的形式自动证明的任务书任务书:DTRC等价性的形式自动证明背景:在计算机科学领域,等价性的判定一直以来就是一个重要的问题。在软件、硬件设计等领域,等价性检测是十分关键的工作,它可以帮助人们判断两个系统或者两个程序是否等价。目前,很多等价性工具已经应用于软件开发和硬件设计中。任务:该任务要求编写一个程序,可以对两个循环程序进行等价性的判定,即判断这两个程序是否具有等价的循环结构和语义。设计要求:。,设计出自动证明等价性的算法,并实现该算法。,例如循环条件、循环次数等因素。。参考文献:1.《计算机程序设计与证明:等价性检测》;2.《计算机程序的自动等价性检测方法研究及应用》;3.《程序等价性检测方法综述》。评估标准:;;;;。
DTRC等价性的形式自动证明的任务书 来自淘豆网www.taodocs.com转载请标明出处.