Laboratory of Mathematical Logic at PDMI

Пятница, 28 февраля, комната 106. Начало в 16:00.

Докладчик: А. Куликов.

Тема: Formal Verification of the VAMP Floating Point Unit.

Abstract

(доклад по статье C.Berg, C. Jacobi).