拉达

RADA:一个用抽象推理代数数据类型的工具。我们提出了RADA,一个可移植的,可伸缩的工具,用于使用分类(fold)函数来推理包含代数数据类型的公式。它可以作为一个后端来推理操作代数类型的递归程序。RADA通过连续展开变形来操作,并使用CVC4和Z3作为推理引擎。我们已经使用RADA来推理复杂数据结构的功能实现,以及判断是否允许XML消息跨网络安全域的保护应用程序。实验结果表明,该雷达可用于多种实际场合。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换