{"id":1097760,"date":"2024-10-25T19:47:54","date_gmt":"2024-10-26T02:47:54","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-research-item&p=1097760"},"modified":"2024-11-04T21:46:37","modified_gmt":"2024-11-05T05:46:37","slug":"autoverus-automated-proof-generation-for-rust-code","status":"publish","type":"msr-research-item","link":"https:\/\/www.microsoft.com\/en-us\/research\/publication\/autoverus-automated-proof-generation-for-rust-code\/","title":{"rendered":"AutoVerus: Automated Proof Generation for Rust Code"},"content":{"rendered":"