|
СТ |
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики |
2013 |
Марьясов И. В., Непомнящий В. А., Промский А. В., Кондратьев Д. А. |
|
|
|
Моделирование и анализ информационных систем |
22.04.2014 |
|
А |
Верификация С-программ с помо ью смешанной аксиоматической семантики |
2012 |
Марьясов И. В. |
|
|
|
|
02.04.2012 |
|
СТ |
Верификация С-программ на основе смешанной аксиоматической семантики |
2010 |
Ануреев И. С., Марьясов И. В., Непомнящий В. А. |
|
|
|
Моделирование и анализ информационных систем |
13.04.2011 |
|
СТ |
Верификация С-программ в мультиязыковой системе СПЕКТР |
2010 |
Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. |
|
|
|
Моделирование и анализ информационных систем |
13.04.2011 |
|
СТ |
Система анализа и верификации С-программ СПЕКТР-2 |
2010 |
Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. |
|
|
|
Труды семинара 5-го международного симпозиума по компьютерным наукам в России |
22.06.2010 |
|
П |
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки |
2010 |
Марьясов И. В. |
|
|
ИСИ СО РАН |
|
22.06.2010 |
|
П |
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel |
2008 |
Марьясов И. В. |
Lecture Notes in Computer Science |
|
ИСИ СО РАН |
|
23.10.2009 |
|
СТ |
Автоматическая верификация программ на языке C-LIGHT |
2007 |
Марьясов И. В. |
|
|
|
Технологии Microsoft в теории и практике программирования |
07.03.2007 |
