斯佩克特

面向问题的知识库及其在程序验证系统SPEKTR中的应用。在面向问题的程序验证方法框架内,讨论了知识库的概念。知识库由广义条件项重写规则表示的公理、应用策略和决策过程组成。公理的标准形式由前提条件和内置的基于实例的推理中的条件扩展。综述了程序分类与编译的知识库。描述了验证系统SPEKTR,该系统使用知识库自动显示正确性证据。

此软件的关键字

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