pre/post conditions

Определение

Формальные спецификации, определяющие, что должно быть истинно до вызова функции (precondition) и что гарантируется после её выполнения (postcondition). Используются для верификации корректности вызовов инструментов и code generation.

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

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

Навигация

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