Home

Пятница, 20 ноября, 18:00, к. 106

Пятница, 20 ноября, комната 106. Начало в 18:00.

Докладчик: Н. В. Шилов (Новосибирск).

Тема: Joy of formal verification.

Abstract

В докладе речь пойдет о примерах доказательства геометрических утверждений посредством построения алгоритма и его верификации по Хоару.