Скачать
Prof. Peter Müller (ETH Zurich), INSAIT 2022 Conference: Automated Modular Program Verification
Автор: INSAIT Institute
Загружено: 2022-11-09
Просмотров: 285
Описание:
Automated Modular Program Verification
Software is notoriously difficult to get right. Testing is useful to discover bugs, but is unable to provide any guarantees of correctness and security. In contrast, program verification proves mathematically that a program satisfies its specification for all possible inputs, thread interleavings, and interactions with the environment and, thus, can guarantee the absence of certain undesirable behaviors. This talk motivates program verification, demonstrates the use of a state-of-the-art verification tool, and outlines open research challenges.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
