Topic · program-verification

program-verification

Tracked open-source repos tagged program-verification, sorted by stars.

Repos

2

Total stars

3,190

Avg. stars

1,595

Share

0.00%

Topics that frequently appear alongside program-verification on the same repo.

Recent risers

Repos created in the last 90 days, tagged program-verification.

No new repos tagged with this topic in the last 90 days.

#1
bap ↗@BinaryAnalysisPlatformOCaml
Binary Analysis Platform
★ 2,254+0Star change over the last 7 days
#2
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 948+17Star change over the last 7 days

← Back to topics