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