下载此文档

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

文档分类：论文 | 页数：约2页举报非法文档有奖

1/2

下载提示

1.该资料是网友上传的，本站提供全文预览，预览什么样，下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档，不会出现我们的网址水印。

同意并开始全文预览

(约 1-6 秒)

1/2 下载此文档

文档列表 文档介绍

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

DTRC等价性的形式自动证明的任务书来自淘豆网www.taodocs.com转载请标明出处.