Home
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts
Menu

Search of articles

Promsky Alexey

Search

Alexey V. Promsky
E-mail
  • promsky@iis.nsk.su
Organization:
  • 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
© 2015 - 2025 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts