Prompts com a tag: #formal verification
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.