Hax: Verifying Security-Critical Rust Software Using Multiple Provers

2 points| forks | 1 month ago |eprint.iacr.org