ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

№4
Publication date:
16 September 2023

Keyword: verification

    2. Authors: Еловков Д.Д.

  2. Complex verification of results forecasting characteristics transport system
    3. Authors: Арефьев И.Б., Клавдиев А.А., Сулима А.А.

  3. The development of the system for microprocessor random testing INTEG
    4. Authors: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.

  4. Program for automated verification of databases integrity constraints
    5. Authors: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.

  5. Process semantics of distributed programming language
    6. Authors: Кораблин Ю.П., Кучугуров И.В.

  6. Questions equivalent schemes of parallel programs
    7. Authors: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.

  7. Integrity control of input data during automated software analysis
    8. Authors: Поляничко М.А.

  8. Development tools of verification for device drivers based on semantic models
    9. Authors: Кораблин Ю.П., Павлов Е.Г.

  9. Analysis tools of Linux operating system drivers development
    10. Authors: Кораблин Ю.П., Павлов Е.Г.

  10. VMASTER – environment for probabilistic multiagent system development and verification
    11. Authors: Лебедев П.В.

  11. Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic
    12. Authors: Кораблин Ю.П., Косакян М.Л.

  12. Peculiarities of data sets testing in the z/OS operating system
    13. Authors: Бартеньев О.В., Клюев С.В.

  13. The limitation method for verifiable models
    14. Authors: Кораблин Ю.П., Шипов А.А.

  14. Equational characteristics of LTL formulas
    15. Authors: Кораблин Ю.П., Шипов А.А.

  15. The method of distributed analysis of verifiable models properties
    16. Authors: Шипов А.А.

  16. System models construction based on LTL formula equational characteristics
    17. Authors: Кораблин Ю.П., Шипов А.А.

  17. System model verification based on equational characteristics of LTL formulas
    18. Authors: Кораблин Ю.П., Шипов А.А., Кочергин А.С.

  18. Program synthesizing based on a graph-analytic model description
    19. Authors: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

  19. Modular computer systems simulation software tool for checking feasibility of their configurations
    20. Authors: Глонина А.Б.

  20. The unified representation of LTL and CTL logics formulas by recursive equation systems
    21. Authors: Кораблин Ю.П., Шипов А.А.

  21. An information technology for verifying special software of military automated systems
    22. Authors: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.

  22. Automation of program verification using graph analytical models of a computational process
    23. Authors: Зыков А.Г., Поляков В.И., Голованев Я.С.

  23. Systems model verification based on equational characteristics of СTL formulas
    24. Authors: Кораблин Ю.П., Шипов А.А.

  24. Computer modeling for intelligent evaluation of dynamic interaction of solids
    25. Authors: Филатова Н.Н., Мешков В.В., Федосов Ю.А.