Dafny

Определение

Язык программирования и верификатор для формального доказательства корректности кода. Использует SMT-решатели для автоматической проверки спецификаций.

Где встречается

• 185. Как код как язык представления улучшает рассуждение LLM
• 729. Как LLM используются для code generation с формальной верификацией (Dafny, Lean)
• 752. Как Harness Engineering помогает решить проблему гарантий исполнения в критических миссиях (mission-critical)
• 800+ вопросов

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление