Comment by IshKebab

I've used this before. It's pretty great. Also used as the backend for Kani I believe (Amazon's Rust formal verification tool).