Наукова періодика України Вісник Київського національного університету імені Тараса Шевченка

Peschanenko V. S. 
Mixed concrete-symbolic predicate transformer / V. S. Peschanenko, А. А. Guba, C. I. Shushpanov // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2013. - Вип. 2. - С. 89-94. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2013_2_19
Наведено технологію, яка надає змогу у зазначених випадках замість класичного символьного моделювання використовувати пряме виконання C++ коду разом із символьним розв'язанням та доведенням. Описано обмеження на вхідні дані та доведено, що таке розділення задач не призводить до суперечностей, а результат знаходиться у виявлених обмеженнях.
  Повний текст PDF - 158.444 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Peschanenko V.
  • Guba А.
  • Shushpanov C.

    • Бібліографічний опис для цитування:

    Peschanenko V. S. Mixed concrete-symbolic predicate transformer / V. S. Peschanenko, А. А. Guba, C. I. Shushpanov // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2013. - Вип. 2. - С. 89-94. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2013_2_19.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

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