hax: Verifying Security-Critical Rust Software Using Multiple Provers

hax: verifying security-critical Rust software using multiple provers. Published at VSTTE 2024.