Дедуктивный синтез программ

Инвариант программы

Логическое свойство, сохраняемое при выполнении программы, используемое для доказательства частичной и полной корректности в методах дедуктивного синтеза.

← Назад