Formally Verifying Dynamic Properties of Knowledge Based Systems(3)

恰好动心分享 2021-06-02 下载文档

Wecansolvethisprobleminthefollowingway:givenaprogramα,weconstructanewprogramαwhichhasadditionalparameters.TheseparametersareusedtoencodesomeofthebehaviouroftheoriginalprogramαintheI/O-relationoftheprogramα.

共22页:

Formally Verifying Dynamic Properties of Knowledge Based Systems(3).doc 将本文的Word文档下载到电脑

下载这篇word文档