formal specifications

Определение

Описание поведения программы на формальном языке (например, Dafny, Lean). Позволяет автоматически верифицировать корректность кода, сгенерированного LLM.

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

• 800+ вопросов

Навигация

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