jan 11, 1967 - Роберт Флойд разрабатывает методы формальной верификации программ
Description:
формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Из-за рутинности даже простой формальной верификации и теоретической возможности их полной автоматизации под формальной верификацией обычно подразумевают автоматическую верификацию с помощью программы.
Added to timeline:
Хронология развития вычислительной техники
Date: