Repositorios de código abierto monitorizados de klee, ordenados por estrellas.
Motor de ejecución simbólica KLEE
