Зображення обкладинки

Survey on modern tools and methods of formal models verification

A survey on methods for automatic verificatoin of formal models of software systems is presented. Verifiable properties, methods of reduction and modern verification tools are considered.

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2015
Випуск:4
ISSN:1727-4907
Автори та афіліації:
  • A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
  • A.A. Letichevsky — Glushkov Institute of Cybernetics NAS of Ukraine
  • S.V. Potiyenko — Glushkov Institute of Cybernetics NAS of Ukraine
  • V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877
Автори: Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2015
Теми:
verificatoin of formal models
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/109
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Інтернет

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/109

Схожі ресурси