发明名称 | 一种基于C#语言的形式验证方法 | ||
摘要 | 一种基于C#语言的形式验证方法基于Intel x86目标机器模型TM,支持Hoare风格的推理.通过出具证明编译器的一个原型,在该汇编程序验证框架上生成了有关单链表和二叉树的一些函数的携带证明的代码。 | ||
申请公布号 | CN106569866A | 申请公布日期 | 2017.04.19 |
申请号 | CN201510643554.8 | 申请日期 | 2015.10.08 |
申请人 | 镇江鼎拓科技信息有限公司 | 发明人 | 不公告发明人 |
分类号 | G06F9/45(2006.01)I | 主分类号 | G06F9/45(2006.01)I |
代理机构 | 代理人 | ||
主权项 | 一种基于C#语言的形式验证方法其特征主要包括断言与规范语言、合式公式、推理规则和可靠性证明。 | ||
地址 | 212009 江苏省镇江市镇江新区智慧大道689号亚太国际1516室 |