Гнесюк, Б. А. and Супруненко, О. О. (2013) Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. Восточно-европейский журнал передовых технологий (№ 1/2). pp. 24-27.
![[img]](http://eprints.cdu.edu.ua/style/images/fileicons/text.png) |
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: | https://eprints.cdu.edu.ua/id/eprint/4213 |
Actions (login required)
 |
View Item |
