Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
16 September 2023
Keyword: verification
- Authors: Еловков Д.Д.
- Complex verification of results forecasting characteristics transport system Authors: Арефьев И.Б., Клавдиев А.А., Сулима А.А.
- The development of the system for microprocessor random testing INTEG Authors: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.
- Program for automated verification of databases integrity constraints Authors: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.
- Process semantics of distributed programming language Authors: Кораблин Ю.П., Кучугуров И.В.
- Questions equivalent schemes of parallel programs Authors: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.
- Integrity control of input data during automated software analysis Authors: Поляничко М.А.
- Development tools of verification for device drivers based on semantic models Authors: Кораблин Ю.П., Павлов Е.Г.
- Analysis tools of Linux operating system drivers development Authors: Кораблин Ю.П., Павлов Е.Г.
- VMASTER – environment for probabilistic multiagent system development and verification Authors: Лебедев П.В.
- Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic Authors: Кораблин Ю.П., Косакян М.Л.
- Peculiarities of data sets testing in the z/OS operating system Authors: Бартеньев О.В., Клюев С.В.
- The limitation method for verifiable models Authors: Кораблин Ю.П., Шипов А.А.
- Equational characteristics of LTL formulas Authors: Кораблин Ю.П., Шипов А.А.
- The method of distributed analysis of verifiable models properties Authors: Шипов А.А.
- System models construction based on LTL formula equational characteristics Authors: Кораблин Ю.П., Шипов А.А.
- System model verification based on equational characteristics of LTL formulas Authors: Кораблин Ю.П., Шипов А.А., Кочергин А.С.
- Program synthesizing based on a graph-analytic model description Authors: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
- Modular computer systems simulation software tool for checking feasibility of their configurations Authors: Глонина А.Б.
- The unified representation of LTL and CTL logics formulas by recursive equation systems Authors: Кораблин Ю.П., Шипов А.А.
- An information technology for verifying special software of military automated systems Authors: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.
- Automation of program verification using graph analytical models of a computational process Authors: Зыков А.Г., Поляков В.И., Голованев Я.С.
- Systems model verification based on equational characteristics of СTL formulas Authors: Кораблин Ю.П., Шипов А.А.
- Computer modeling for intelligent evaluation of dynamic interaction of solids Authors: Филатова Н.Н., Мешков В.В., Федосов Ю.А.