Repositori open source terpantau milik esbmc, diurutkan berdasarkan bintang.
Model checker terbatas konteks berbasis SMT yang efisien (ESBMC)
