Topic · software-verification

software-verification

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

Repos

1

Total stars

3,163

Avg. stars

3,163

Share

0.00%

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

Recent risers

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

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

#1
ikos ↗@NASA-SW-VnVC++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
★ 3,163+1Star change over the last 7 days

← Back to topics