DTRC等价性的形式自动证明的任务书.docx

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