RUS ENG

Группа верификации под руководством проф. Ю.Г. Карпова участвует в организации конференции CAV 2013. Это ведущая конференция в области компьютерной верификации. 

 

Методы формальной верификации являются предметом активных исследований на протяжении последних 50 лет. Они прошли несколько этапов развития. В 60-70-ых гг. прошлого века верификация представляла чисто академический интерес и не давала практической отдачи. В 80-90-ых гг. разработчики аппаратных систем стали внедрять методы верификации, в частности, методы проверки моделей (model checking), в промышленность. На сегодняшний день процессоры подвергаются  формальной проверке свойств в процессе разработки. В начале 21-го века появились практически полезные средства анализа и верификации программ. Признанием ценности методов верификации в 2007 г. послужило вручение премии Тьюринга – аналога Нобелевской премии для программистов и математиков – авторам метода model checking: Эдмонду Кларку, Алану Эмерсону и Жозефу Сифакису.

О конференции

CAV 2013 – двадцать пятая конференция, посвящённая теоретическим и практическим достижениям в области методов формальной верификации аппаратных и программных систем.  Конференция охватывает темы от теоретических результатов до программных пакетов, при этом уделяя особое внимание практически полезным средствам верификации, алгоритмам и методам, необходимым для их реализации. Труды конференции публикуются в издании «Springer-Verlag’s Lecture Notes in Computer Science».

Председатели программного комитета CAV 2013:

Dr. Natasha Sharygina (Университет Лугано, Швейцария) и Dr. Helmut Veith (Университет технологий Вены, Австрия)

В программный комитет входят крупнейшие специалисты  в области методов формальной верификации.

Темы конференции включают:

  • методы верификации моделей (model checking);
  • алгоритмы и инструменты для верификации моделей и их реализаций;
  • методы верификации аппаратного обеспечения;
  • верификация гибридных и встроенных систем;
  • анализ программ и верификация программного обеспечения;
  • языки моделирования и спецификации;
  • методы абстракции, дедуктивных и композиционных рассуждений в верификации;
  • тестирование и анализ на этапе выполнения, основанные на методах верификации;
  • приложения и анализ отдельных примеров (case studies);
  • верификация в промышленности;
  • формальные методы в биологических системах.

С участием российский ученых проводятся смежные семинары VES, FWFM, VPT.

 

 

В этом году принято 56 докладов из 290 заявок, планируемое количество  участников - 200 - 250 человек

 

Подробнее о конференции смотрите на сайте: http://cav2013.forsyte.at/ 

При составлении данной страницы были использованы материалы страницы: http://forsyte.at/cav-2013-promo-ru/, подготовленные И.В. Конновым (http://forsyte.at/people/konnov/). 

 

По вопросам участия в конференции обращайтесь к Ирине Владимировне Шошминой