Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Декабря 2024
Ключевое слово: верификация
- Общая схема верификации утверждений Р-логики с неизвестными параметрами Авторы статьи: Еловков Д.Д.
- Комплексная верификация результатов прогнозирования характеристик транспортной системы Авторы статьи: Арефьев И.Б., Клавдиев А.А., Сулима А.А.
- Развитие системы стохастического тестирования микропроцессоров INTEG Авторы статьи: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.
- Программа для автоматизированной верификации ограничений целостности баз данных Авторы статьи: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.
- Процессная семантика языков распределенного программирования Авторы статьи: Кораблин Ю.П., Кучугуров И.В.
- Вопросы эквивалентности схем параллельных программ Авторы статьи: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.
- Контроль целостности входных данных при проведении автоматизированного анализа программного обеспечения Авторы статьи: Поляничко М.А.
- Разработка инструментов верификации драйверов на основе семантических моделей Авторы статьи: Кораблин Ю.П., Павлов Е.Г.
- Разработка инструментальных средств анализа драйверов операционной системы Linux Авторы статьи: Кораблин Ю.П., Павлов Е.Г.
- VMASTER – среда для разработки и верификации вероятностных мультиагентных систем Авторы статьи: Лебедев П.В.
- Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени Авторы статьи: Кораблин Ю.П., Косакян М.Л.
- Особенности тестирования наборов данных в операционной системе z/OS Авторы статьи: Бартеньев О.В., Клюев С.В.
- Метод ограничений верифицируемых моделей Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Эквациональная характеристика формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Метод распределенного анализа свойств верифицируемых моделей Авторы статьи: Шипов А.А.
- Построение моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Верификация моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.
- Синтезирование программ на основе описания графоаналитической модели Авторы статьи: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
- Программное средство моделирования модульных вычислительных систем для проверки допустимости их конфигураций Авторы статьи: Глонина А.Б.
- Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Информационная технология верификации специального программного обеспечения автоматизированных систем военного назначения Авторы статьи: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.
- Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса Авторы статьи: Зыков А.Г., Поляков В.И., Голованев Я.С.
- Верификация моделей систем на базе эквациональной характеристики формул CTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Компьютерное моделирование для интеллектуальной оценки динамического взаимодействия твердых тел Авторы статьи: Филатова Н.Н., Мешков В.В., Федосов Ю.А.
