《计算机学报》：形状图理论的定理证明 Automated theorem proving for theory of shape graphs
文件格式: PDF大小: 1.15MB页数: 21
形状图逻辑和形状系统 Shape graph logic and shape system
文件格式: PDF大小: 336.03KB页数: 24
A Shape Graph Logic and A Shape System
文件格式: PDF大小: 1.62MB页数: 22
一个程序验证器的设计和实现 An Automatic Program Verifier for PointerC
文件格式: PDF大小: 1.48MB页数: 11
处理指针相等关系不确定的指针逻辑 Pointer logic dealing with uncertain equality of pointers
文件格式: PDF大小: 333.39KB页数: 10
一种用于指针程序验证的指针逻辑 Pointer logic for verification of pointer programs
文件格式: PDF大小: 396.9KB页数: 12
《软件学报》：用于指针逻辑的自动定理证明器 Automated theorem prover for pointer logic
文件格式: PDF大小: 300.18KB页数: 14
Certifying Concurrent Programs Using Transactional Memory
文件格式: PDF大小: 467.14KB页数: 12
安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer
文件格式: PDF大小: 435.92KB页数: 9