|
СТ |
Ориентированный на верификацию язык C-light |
2004 |
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. |
Системная информатика |
|
|
Системная информатика |
21.03.2005 |
|
СТ |
Новый язык описания алгоритмов сопоставления с образцами |
1995 |
Михайлов И. Н. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
14.12.1996 |
|
П |
На пути к верификации С-программ. Часть 1. Язык C-LIGHT |
2001 |
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. |
|
|
ИСИ СО РАН |
|
07.03.2001 |
|
СТ |
На пути к верификации C-программ. Язык C-light и его формальная семантика |
2002 |
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. |
|
|
|
Программирование |
28.01.2003 |
|
П |
На пути к верификации C-программ. Часть 3. Перевод из языка C-light в язык C-light-kernel и его формальное обоснование |
2002 |
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. |
|
|
ИСИ СО РАН |
|
17.07.2002 |
|
П |
На пути к верификации C-программ. Часть 2: Язык C-light-kernel и его аксиоматическая семантика |
2001 |
Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. |
|
|
ИСИ СО РАН |
|
12.08.2002 |
