软件分析笔记：1.软件分析基础
摘要：
本文是对于北京大学熊英飞老师《软件分析》课件以及南京大学李樾老师《软件分析》课程视频的总结。 1.哥德尔不完备定理及其在软件分析中应用 1.1定理内容 对任意能表示自然数的系统，一定有定理不能 被证明 1.2定理应用 主流程序语言的语法+语义=能表示自然数的形式系统 。 哥德尔不完备定理在处理内存泄 阅读全文
posted @ 2020-04-14 17:35 crossain 阅读(1640) 评论(0) 推荐(0)
浙公网安备 33010602011771号