Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі

Гнесюк, Б. А. and Супруненко, О. О. (2013) Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. Восточно-европейский журнал передовых технологий (№ 1/2). pp. 24-27.

[img] Text
8926-13328-1-SM.pdf

Download (450kB)

Abstract

Стаття містить опис методів статичної та динамічної верифікації послідовно-паралельного програмного коду на моделі у вигляді управляючої мережі Петрі зі стохастичними елементами, яка будується за деревом розбору. Стаття містить приклад практичної реалізації розглянутих методів.

Item Type: Article
Uncontrolled Keywords: динамічна верифікація ; дерево розбору ; мережа Петрі ; стохастичні елементи
Subjects: Комп'ютерні науки
Комп'ютерні науки
Divisions: Факультет обчислювальної техніки, інтелектуальних та управляючих систем
Depositing User: Наукова Бібліотека
Date Deposited: 12 Nov 2020 07:34
Last Modified: 12 Nov 2020 07:51
URI: http://eprints.cdu.edu.ua/id/eprint/4213

Actions (login required)

View Item View Item