南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）01-Introduction（主讲：冯新宇）
文件格式: PPTX大小: 966.83KB页数: 22
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文件格式: PPT大小: 352KB页数: 40
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
文件格式: PPT大小: 731KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
文件格式: PPT大小: 414.5KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
文件格式: PPT大小: 585.5KB页数: 21
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文件格式: PPT大小: 496.5KB页数: 40
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
文件格式: PDF大小: 321.69KB页数: 19
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
文件格式: PDF大小: 134.38KB页数: 15
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
文件格式: PDF大小: 509.77KB页数: 14
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
文件格式: PDF大小: 510.71KB页数: 12