Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)

Published in VSTTE 2025, 2025