Repositórios de código aberto acompanhados de diffblue, ordenados por estrelas.
Verificador de modelo limitado para C.
