SMACK Software Verifier and Verification Toolchain
smackers/smack has 446 GitHub stars.
It currently ranks #8008 daily, #9227 weekly, #13115 monthly by momentum on Trending Repos; its best-ever rank is #1399.