Вы здесь

Верификация С-программ с помощью смешанной аксиоматической семантики

Автор: 

Марьясов Илья Владимирович

Тип работы: 

Кандидатская

Год: 

2012

Артикул:

1005480343

179 грн

Добавить в корзину

• 
• 
• 

Рекомендуемые диссертации

• Исследование и разработка методов построения программных средств обнаружения текстового спама
• Математическое и программное обеспечение процедур процессов маршрутизации в телекоммуникационных сетях
• Преобразование циклических конструкций для многопроцессорных систем кластерного типа с учетом количества вычислительных устройств
• Исследование и разработка интерактивной компьютерной системы поддержки принятия решений при управлении производством с неспециализированным оборудованием
• Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
• Формальная семантика C-LIGHT программ и их верификация методом Хоара
• Исследование программных методов реализации операций в конечных алгебраических структурах
• Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов
• Методы и средства распараллеливания комбинаторных алгоритмов в кластерных системах
• Методики и алгоритмы для оценки надежности программного обеспечения систем тренажеров