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

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

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

Онтология процессов для комплекса поддержки верификации параллельных систем

Докладчик: 

Гаранина Н.О.

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