11 янв 1967 г. - Роберт Флойд разрабатывает методы формальной верификации программ

Описание:

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

Из-за рутинности даже простой формальной верификации и теоретической возможности их полной автоматизации под формальной верификацией обычно подразумевают автоматическую верификацию с помощью программы.

Добавлено на ленту времени:

Дата: