О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
…атических функций (Николай Шилов, ISPRASOPEN-2018).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018)!.jpg}}|center|640px]] {{LinksSection}} <!-- * [ Talks page on site] --> <!-- <blockquote>[©]</blockquote> --> {{vklink|1357}} <references/> <!-- topub --> [[Категория:ISPRASOPEN-2018]] [[Категория:Верификация]] {{stats|disqus_comments=0|refresh_time=2020-07-07T22:57:272021-08-31T17:36:04.083224882379|vimeo_plays=7|youtube_comments=0|youtube_plays=14}}8}} |
Текущая версия на 12:22, 4 сентября 2021
- Докладчик
- Николай Шилов
В докладе рассказывается о примере применения к функции квадратного корня платформенно-независимого подхода к спецификации и формальной верификации стандартных математических функций.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:25 Comments:0