Prompts de Verificação formal em geração de código com LLM
Tópico gerado automaticamente
4.5
5
Prompt de Geração de Código com Verificação Formal Integrada
Prompt para orientar IA a gerar código Python com verificação formal integrada, incluindo especificação de contrato, testes e pipeline de verificação, reduzindo a dependência de loops de prompts de brute-force.