#Program-verification
Showing 4 of 4 repositories tagged #program-verification, ranked by stars
BinaryAnalysisPlatform
bap
Binary Analysis Platform
Score
100
★ 2.2k
⑂ 283
—
OCaml
AeneasVerif
aeneas
A verification toolchain for Rust programs
Score
100
★ 847
⑂ 86
+21/day
OCaml
AeneasVerif
charon
Analyze Rust crates without touching compiler internals
Score
0
★ 377
⑂ 47
+7/day
Rust
lisa-analyzer
lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Score
0
★ 83
⑂ 36
—
Java