Alexey V. PromskyE-mailpromsky@iis.nsk.suOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — scientific secretary Academic degree: PhD List of Articles: 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 problems of C program verification // Computer Science. — 2009 . — # 29. — P. 89-105 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
