Proyecto de Auditoria para SMT