来源与版权信息 资料来源 本入门教程主要内容基于南京大学《软件分析》课程。 PASCAL研究组主页 版权信息 教程文字部分遵循CC BY-NC-SA许可协议。 图片部分若无特殊说明则出自课程资料，使用已获作者同意。其他材料会注明出处，侵删。