English translation is not available yet. Showing Russian content.
formal specifications
formal specifications
Определение
Описание поведения программы на формальном языке (например, Dafny, Lean). Позволяет автоматически верифицировать корректность кода, сгенерированного LLM.