Статический анализ требований реактивных систем

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Иванов Александр Сергеевич Котляров Всеволод Павлович Летичевский Александр Адольфович
Аннотация:

Описан метод верификации требований многокомпонентных реактивных систем, заданных формальными моделями в нотации базовых протоколов. Рассмотрены примеры применения данной технологии и возможности дальнейшего практического использования. Указаны преимущества, ограничения и промышленные аналоги данного подхода.