О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Николай Шилов}} <blockquote> В докладе рассказывается о примере применения к фу…») |
(нет различий)
|
Версия 08:29, 21 декабря 2018
- Докладчик
- Николай Шилов
В докладе рассказывается о примере применения к функции квадратного корня платформенно-независимого подхода к спецификации и формальной верификации стандартных математических функций.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.