Search academic texts

Information × Registration Number 0407U000373, Candidate dissertation Status к.т.н. Date 10-01-2007 popup.evolution o Title The corrective design of the hardware and software package of computer systems on the basis of logical languages of specifications and modern languages of description of discrete systems Author Zakutaylo Denys Alexandrovich, popup.head Koval Valeriy Nikolajevich popup.opponent Кривий Сергiй Лук'янович popup.opponent Марковський Олександр Петрович Description Наукова новизна отриманих результатiв полягає в наступному: розробленi часовi логiки LCTL (Локальна обчислювальна логiка розгалуженого часу) i GCTL (Глобальна обчислювальна логiка розгалуженого часу), що дозволяють кiлькiсно характеризувати часовi властивостi алгоритмiв, що верифiкуються. Семантика цих часових логiк, дозволяє використовувати моделi алгоритмiв, що верифiкуються, iз числом станiв меншим, чим у вiдповiдних моделей для iснуючих ранiше часових логiк i їх семантик; уперше запропонованi методи трансляцiї програм з мови VHDL, що застосовувають конструкцiї з часовими затримками, у транзицiйнi системи; для запропонованих логiк розробленi методи перевiрки властивостей з явними часовими обмеженнями, отримана оцiнка часової складностi запропонованого методу перевiрки на моделi для логiки LCTL. Registration Date 2007-01-10 popup.nrat_date 2020-04-04 Close