《计算机科学》相关教学资源（参考文献）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
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
文件格式: PDF大小: 306.75KB页数: 15
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
文件格式: PDF大小: 363.48KB页数: 53
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
文件格式: PDF大小: 180.29KB页数: 10
《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling
文件格式: PDF大小: 490.02KB页数: 15
《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels
文件格式: PDF大小: 1.25MB页数: 21
《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods
文件格式: PDF大小: 1MB页数: 31