Bajo que términos los sistemas de captura

Hay una cosa que por mi desconocimiento e ignorancia les pregunto a mis escasos lectores por este medio. Los sistemas de captura que posee el IFE para su conteo de votos, ya sea el PREP ó el de el conteo final tienen el código fuente disponible ó fué auditado por algún equipo de expertos? O bajo que términos se diseñó el software? Me parece que este es un punto delicado pues si el gobierno compró este software a un contratista y el contratista lo entregó de modo binario ó sin fuentes, como se puede garantizar que el programa hace lo que se dice hacer? Alguien sabe algo al respecto?