О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->
{{vklink|1357}}
<references/>
<!-- topub -->
[[Категория:ISPRASOPEN-2018]]
[[Категория:Верификация]]
{{stats|disqus_comments=0|refresh_time=2019-089-20T22:05:5906T15:01:34.541246726151|vimeo_plays=6|youtube_comments=0|youtube_plays=1}} | |||
Версия 12:01, 6 сентября 2019
- Докладчик
- Николай Шилов
В докладе рассказывается о примере применения к функции квадратного корня платформенно-независимого подхода к спецификации и формальной верификации стандартных математических функций.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:7 Comments:0
