Repositorios de código abierto monitorizados de esbmc, ordenados por estrellas.
El verificador de modelos acotado por contexto basado en SMT (ESBMC) eficiente
