Перегляд за автором "Letichevsky, A."

Сортувати за: Порядок: Результатів:

  • APS C++ User's Library 
    Letichevsky, A.; Letichevsky, A.Jr.; Peschanenko, V. (2008)
    The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its ...
  • Deductive verification of requirements for event-driven architecture 
    Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A. (Проблеми програмування, 2013)
    The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design ...
  • Satisfiability For Symbolic Verification in VRS 
    Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...
  • Simple non-deterministic rewriting in verification 
    Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...