О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) — различия между версиями

;{{SpeakerInfo}}: {{Speaker|Николай Шилов}}
<blockquote>
В докладе рассказывается о примере применения к функции квадратного корня платформенно-независимого подхода к спецификации и формальной верификации стандартных математических функций.
</blockquote>

{{VideoSection}}
{{vimeoembed|298788471|800|450}}
{{youtubelink|-QsFdc8nXFs}}
{{letscomment}}

{{SlidesSection}}
[[File:О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, 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-01-28T14:44:552021-08-31T17:36:04.072962882379|vimeo_plays=7|youtube_comments=0|youtube_plays=12}}8}}