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

Beschreibung:

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

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

Zugefügt zum Band der Zeit:

Datum: