Теоретическое и экспериментальное программирование

На семинаре обсуждаются формальные модели и современные методы для описания семантики, спецификации и верификации программ, систем и процессов. Среди формальных моделей рассматриваются автоматные и логические модели, сети Петри, программные модели распределенных систем. Также обсуждаются экспериментальные программные средства, предназначенные для моделирования, анализа и верификации систем, представленных на языках С, C#, SDL и др.

Тема следующего семинара: 

Выступления выпускников кафедры

Докладчик: 

Пудовкин С.А.

Докладчик: 

Лучко Л.Г.

Докладчик: 

Жейц Г.А.

Дата проведения: 
23.04.2019 - 10:50