Automatic predicate abstraction of C programs 论文

2001引用 438

Formal Methods in VerificationLogic, programming, and type systemsParallel Computing and Optimization Techniques

Parallel Computing and Optimization Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Parallel Computing and Optimization Techniques

Automatic predicate abstraction of C programs · 作者

Sriram K. Rajamani

Todd Millstein

Rupak Majumdar

Thomas Ball