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