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

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

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

Зачет в. 215

Дата проведения: 
15.05.2018 - 11:30