новости и события30.03.2003 17:00:00Верификация на модели для систем с бесконечным числом состояний<div class="smn-ict"><div class="smn-author">Чубаров Дмитрий Леонидович</div><div class="smn-speaker">Чубаров Д.Л.</div><div class="smn-institute">Манчестерский университет, ИВТ СО РАН</div><div class="smn-city">Новосибирск</div><div class="smn-title"></div><div class="smn-abstract">Практическая важность техники верификации на модели обусловлена возрастающими требованиями к надежности и скорости разработки коммуникационных протоколов и интегральных схем, а также их возрастающей сложностью. <br>В докладе представлен общий подход к постановке задачи верификации на модели и ряд приложений. Будут затронуты следующие темы: <br>1. OBDD и их применение в model checking,<br>2. автоматы на бесконечных строках, <br>3. алгоритмы верификации на модели заданной формулами.</div><div class="smn-e_mail">chubarik@gorodok.net</div></div>новости и событияВерификация на модели для систем с бесконечным числом состояний<tags><tag>og:description</tag><value>Чубаров Дмитрий ЛеонидовичЧубаров Д.Л.Манчестерский университет, ИВТ СО РАННовосибирскПрактическая важность техники верификации на модели обусловлена возрастающими требованиями к надежности и скорости</value><tag>og:image</tag><value>http://news.sbras.ru/ru/NewsPictures/seminar1.jpg</value></tags>24 марта по 4 апреля 2003 г.

 Источники

 

 

 Видео

 

 

 

 

 Файлы

 

 

 Новости

 

 


Заседание Геологической секции Ученого совета
Академик Александр Сергеев подвел итоги визита в США и рассказал о планах первых «мозговых штурмов»
Конференция «Суперкомпьютерные технологии математического моделирования» (СКТеММ’19)
Аспирантский семинар "A BRIEF INTRODUCTION IN SEISMIC HAZARD ASSESSMENT AND EARTHQUAKE EARLY WARNING SYSTEMS (EEWS)"
ИЯФ СО РАН совместно с группой компаний «Научное оборудование», компанией «Мелитэк» и компанией Keysight Technologies приглашают принять участие в серии семинаров
Общеинститутский семинар "Научная станция РАН в г. Бишкеке – 40 лет изучения современных геодинамических процессов литосферы Тяньшанского региона"
Председатель СО РАН об академическом имуществе: «Ситуация сложная»
ИНГГ СО РАН посетила делегация Германской службы академических обменов (DAAD)
Заседание Президиума СО РАН 14 марта 2019 года
Президиум РАН утвердил состав Научно-координационного совета РАН по проблемам прогнозирования и стратегического планирования в РФ