Verifying Rust Programs with SMACK

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_32 ◽

2018 ◽

pp. 528-535 ◽

Author(s):

Marek Baranowski ◽

Shaobo He ◽

Zvonimir Rakamarić

Download Full-text