Why3

Определение

Инструмент для формальной верификации программного кода, используемый как альтернатива Dafny и Lean. Применяется для проверки корректности кода, генерируемого LLM.

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

• 729. Как LLM используются для code generation с формальной верификацией (Dafny, Lean)

Навигация

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