РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000206974<.>)
Загальна кількість знайдених документів : 1

Потиенко С. В. 
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами = Methods of forward and backward symbolic modeling of systems specified by basic protocols / С. В. Потиенко // Пробл. програмув. - 2008. - № 4. - С. 39-44. - Библиогр.: 8 назв. - рус.

The paper considers methods of forward and backward symbolic modeling which are used for solution of verification tasks for basic protocols systems. Besides of algorithms for state space search detailed in model checking works, the main task of symbolic modeling is implementation of transition from one state class to the next. Such a transformation is realized by predicate transformers. In the current work, algorithms of forward and backward predicate transformers have been built for numeric, symbolic, and lists data structures. Transformers are considered as functions which derive from given formula a new one that defines state class of the system after transition made by given basic protocol.


Індекс рубрикатора НБУВ: З973-018.2

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського