# Model Checking repositories

Source: https://www.gstars.dev/c/model-checking
Tracked repositories: 1
Ranking: Total stars

1. [model-checking/kani](https://www.gstars.dev/repo/model-checking/kani) — 3647 stars

Category/topic matches include curated categories and collected GitHub topics. Coverage is limited to tracked active, non-archived, non-fork repositories. See https://www.gstars.dev/methodology for measurement limits.