Zoekresultaten - Alexei V. Promsky

  • Toon 1 - 2 resultaten van 2
Verfijn jouw resultaten
  1. 1
    The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs

    The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs door Dmitry A. Kondratyev, Alexei V. Promsky

    Gepubliceerd in 2019-12-01

    The C-lightVer system for the deductive verification of C programs is being developed at the IIS SB RAS. Based on the two-level architecture of the system, the C-light input language is translated into the intermediate C-kernel language. The meta generator of the correctness conditions receives the...

    Volledige beschrijving

    Volledige tekst
    Artikel

    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function door Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

    Gepubliceerd in 2018-12-01

    The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical functions like sqrt, cos, sin, etc. Platform-independence...

    Volledige beschrijving

    Volledige tekst
    Artikel

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: