PSSV21FirstAndSecondAfternoonSessions
XII Workshop Program Semantics, Specification and Verification: Theory and Applications PSSV-2021 was held fully online using Zoom on Thursday and Friday November 4-5, 2021 (https://persons.iis.nsk.su/en/pssv21) - The First afternoon session (talks from co-organizer - A.P. Ershov Institute of Informatics Systems, chair - Irina Lomazova) and the Second afternoon session (contributed tlks, chair - Manuael Mazzara)
04:00-50:00 Dmitry A. Kondratyev Automatic deductive verification of C programs using the C-lightVer system (invited talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.ml5q13e8jo3b
50:42-01:20:50 Anton Gnatenko and Vladimir Zakharov Satisfiability and model checking for one extension of Linear temporal logic (regular talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.rhg95joq0364
01:22:30-01:52:00 Alexander Bolotov, Alex Abuin Yepes, Paqui Lucio and Montserrat Hermo Complementing Tableaux-based Satisfiability Algorithm for CTL by Certifying Sequent Proofs and Models (regular talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.2muaar2e5lm
01:52:10-02:03:30 Thanh-Hai Tran, Igor Konnov and Josef Widder Model checking of Skeen's atomic multicast protocol (short talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.6omm7dsl6owm
02:03:40-02:21:00 Julio Cesar Carrasquel Validating Real Behavior of Agents in Trading Systems using Nested Petri Nets (short talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.fi0v7qvotc9a
02:21:10-02:43:00 Nikolay Shilov, Dmitry Kondratyev and Boris Faifel Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions (short talk). Abstract - https://docs.google.com/document/d/1_A5y3BAgoEh5dk0jHhe52Ewk7msjH5CTvL8H3ciDXCU/edi #bookmark=id.gxby76iqpj51
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «PSSV21FirstAndSecondAfternoonSessions», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.