Síntese de programas indutiva

Síntese Baseada em Restrições

Técnica que utiliza restrições lógicas para especificar o comportamento esperado de um programa a ser gerado. O sistema resolve essas restrições para produzir automaticamente um código que satisfaça todas as condições exigidas.

← Voltar