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

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