esbmc's tracked open-source repos, sorted by stars.
The efficient SMT-based context-bounded model checker (ESBMC)
