1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 1(108)'2013
  5. Метод формальной верификации UMC: UML Model Checking

Метод формальной верификации UMC: UML Model Checking

Е. И. Политько, О. М. Тарасюк, А. В. Горбенко
Системи обробки інформації. — 2013. — № 1(108). — С. 211-215.
Тематика статті: Інфокомунікаційні системи
УДК 4.052
Мова статті: російська
Анотації на мовах:

В статье анализируются существующие проблемы инженерии программного обеспечения, обусловленные сложностью современных программ и параллельностью выполнения взаимодействующих процессов. Выполнен обзор формальных методов разработки и верификации, позволяющих доказать соответствие моделей программ и систем формальным требованиям. Рассмотрены особенности метода формальной верификации Model Checking и его развитие для верификации диаграмм состояний UML. Рассмотрены синтаксис и семантика темпоральной логики µUCTL и формальное представление моделей UML в виде системы перехода с двойной пометкой L2TS.
Ключові слова: программирование, формальные методы, верификация, Model Checking, UML
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Политько Е. И. Метод формальной верификации UMC: UML Model Checking / Е. И. Политько, О. М. Тарасюк, А. В. Горбенко  // Системи обробки інформації. — 2013. — № 1. — С. 211-215.