Amazon Research Award seleciona projeto do prof. Haniel Barbosa
Verificação e reconstrução eficientes de certificados SMT O projeto Efficient checking and reconstruction of SMT proofs busca resolver o problema de não haver um verificador de certificados para solucionadores SMT que seja independente, eficiente e fácil de ser utilizado, pois os existentes são muito específicos, tem limitações de escalabilidade, são difíceis de serem utilizados, ou uma combinação […]
Amazon Research Award seleciona projeto do prof. Haniel Barbosa Read More »
Verificação e reconstrução eficientes de certificados SMT O projeto Efficient checking and reconstruction of SMT proofs busca resolver o problema de não haver um verificador de certificados para solucionadores SMT que seja independente, eficiente e fácil de ser utilizado, pois os existentes são muito específicos, tem limitações de escalabilidade, são difíceis de serem utilizados, ou uma combinação