Treffer: AutoVerus: Automated Proof Generation for Rust Code

Title:
AutoVerus: Automated Proof Generation for Rust Code
Authors:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3454-3482
Availability:
http://dl.acm.org/doi/10.1145/3763174
Database:
ACM Full-Text Collection