Repositórios de código aberto acompanhados de esbmc, ordenados por estrelas.
O verificador de modelos limitado por contexto eficiente baseado em SMT (ESBMC)
