Формальная семантика c-light программ и их верификация методом хоара


PDF просмотр
НазваниеФормальная семантика c-light программ и их верификация методом хоара
Промский Алексей Владимирович
Дата конвертации22.08.2012
Размер83,07 Kb.
ТипАвтореферат
Год2004
На соискание ученой степениКандидат физико-математических наук

Описание:
Цель работы: Цель и задачи диссертации. Целью диссертационной работы яв

Чтобы увидеть текст работы нажмите на ссылку "Предварительный просмотр"
Предварительный просмотр
PDF просмотр

Похожие:

Формальная семантика c-light программ и их верификация методом хоара iconВерификация автоматных программ в контексте синхронного программирования

Формальная семантика c-light программ и их верификация методом хоара iconВерификация c-программ с помощью смешанной аксиоматической семантики
Защита состоится 14 мая 2012 г в 16 ч 00 мин на заседании
Формальная семантика c-light программ и их верификация методом хоара iconТекстозависимая верификация диктора: модель, статистические исследования, комплекс программ
Институт проблем передачи информации им. А. А. Харкевича Защита состоится 19 апреля 2012 г в 10 часов на заседании диссертацион
Формальная семантика c-light программ и их верификация методом хоара iconТехнология проектирования и реализации объектно- ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)
Защита диссертации состоится «22» октября 2008 года в 14 часов на заседании
Формальная семантика c-light программ и их верификация методом хоара iconВерификация автоматных программ в контексте синхронного программирования
Профессор А. А. Шалыто предложил исполь- зовать switch-технологию (другое название автоматного программирования) для решения задач...
Формальная семантика c-light программ и их верификация методом хоара iconВерификация автоматных программ в контексте синхронного программирования
Профессор А. А. Шалыто предложил использовать switch-технологию (другое название автоматного программи- рования (АП)) для решения...
Формальная семантика c-light программ и их верификация методом хоара iconСпециализация программ на объектно-ориентированных языках методом частичных вычислений
Специальность 05. 13. 11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Формальная семантика c-light программ и их верификация методом хоара iconМатематическое моделирование внутренней структуры дисперсных систем методом частиц
Специальность: 05. 13. 18 –математические моделирование, численные методы и комплексы программ
Формальная семантика c-light программ и их верификация методом хоара iconРешение обратной проблемы n-мерных аффинных самоподобных функций методом голосования для всплеск-максимумов
Специальность 05. 13. 18 «Математическое моделирование, численные методы и комплексы программ»
Формальная семантика c-light программ и их верификация методом хоара iconПрограммный комплекс и эффективные методы организации и индексации больших массивов текстов
Формальная модель программного комплекса поисковой системы
Разместите кнопку на своём сайте:
поделись


База данных защищена авторским правом ©dis.podelise.ru 2012
обратиться к администрации
АвтоРефераты
Главная страница