AeneasVerif/charon

Analyze Rust crates without touching compiler internals

语言：Rust · GitHub 星标：467 · Fork：72

话题：compiler · formal-methods · formal-verification · program-verification · rust · rust-lang · static-analysis

在 GitHub 上查看原仓库