TMPA School 2018: Формальная верификация смарт-контрактов для платформ на технологии блокчейн.День 2

5 Просмотры
Издатель
Вторая часть лекции «Формальная верификация смарт-контрактов для платформ на технологии блокчейн», в которой Ростислав Яворский объясняет, как строятся математические модели для вычислительных систем, и для чего они используются в блокчейн-платформах. Презентация прошла в рамках саратовской TMPA School в марте 2018 года и будет полезна всем, кто интересуется основами тестирования и обеспечения качества ПО. В настоящее время Ростислав занимает должность руководителя отдела исследований в Exactpro и проректора по науке и технологиям в СурГУ.

Презентацию Ростислава Яворского можно скачать по ссылке:
https://speakerdeck.com/exactpro/tmpa-school-2018-rostislav-iavorskii-formal-naia-vierifikatsiia-dlia-blokchiein-chast-2
Первую часть лекции «Формальная верификация смарт-контрактов для платформ на технологии блокчейн» можно посмотреть по ссылке:
https://speakerdeck.com/exactpro/tmpa-school-2018-rostislav-iavorskii-vierifikatsiia-blokchiein-chast-1

TMPA School — образовательный проект, нацеленный на повышение уровня осведомленности в сфере тестирования программного обеспечения, поддержку развития IT-индустрии и внедрение новейших разработок в области верификации программ. Благодаря своей уникальной тематике, проект интересен широкому кругу участников: студентам старших курсов IT-специальностей, аспирантам, молодым специалистам, чьи научные и практические интересы связаны с разработкой и тестированием. В Школе приняло участие 240 человек: 110 из них — студенты, и 130 — молодые специалисты, работающие в IT-индустрии. Главная тема саратовской TMPA School 2018 года — «Инструменты и методы тестирования программного обеспечения».

__
Exactpro — компания со штатом в 600 человек, специализирующаяся на разработке программного обеспечения для функционального и нефункционального тестирования рыночных инфраструктур и систем, работающих со всеми классами финансовых инструментов. К их числу относятся торговые системы, системы управления рисками и надзора за рынком, платформы распространения информации о ценных бумагах и пост-трейд инфраструктуры.

Хотите знать больше об Exactpro?
Website: https://ru.exactpro.com/
Exactpro в социальных сетях:
VK - https://vk.com/exactpro_llc
Facebook - https://www.facebook.com/exactpro/
Twitter - https://twitter.com/exactpro
LinkedIn - https://www.linkedin.com/company/exactpro-systems-llc
Instagram - https://www.instagram.com/exactpro/
GitHub - https://github.com/Exactpro
Youtube - https://www.youtube.com/c/exactprosystems

#Exactpro #IT #Тестирование
Категория
Ужасы
Комментариев нет.