Alexey V. Promsky E-mail promsky@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — scientific secretary Academic degree PhD
Promsky A. Experiments on self-applicability in the C-light verification system. Part 2 // Computer Science. — 2014. — # 37 — P. 93-105
Promsky A. Experiments on self-applicability in the C-light verification system // Computer Science. — 2013. — # 35 — P. 85-99
Promsky A. Error-tracing axiomatic semantics for C-kernel // Computer Science. — 2010. — # 31 — P. 123-138
Promsky A. The C#-light project: solution of some verification challenges // Computer Science. — 2007. — # 26 — P. 111-132
Nepomniaschy V., Anureev I., Dubranovsky I., Promsky A. A three-level approach to C# program verification // Computer Science. — 2004. — # 20 — P. 61-85