Repositórios de código aberto acompanhados de klee, ordenados por estrelas.
Mecanismo de execução simbólica KLEE.
