Search Results - Dmitry A. Kondratyev

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Logic for reasoning about bugs in loops over data sequences (IFIL)

    Logic for reasoning about bugs in loops over data sequences (IFIL) by Dmitry A. Kondratyev

    Published 2023-09-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

    Published 2021-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    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 by Dmitry A. Kondratyev, Alexei V. Promsky

    Published 2019-12-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Invariant Elimination of Definite Iterations over Arrays in C Programs Verification

    Invariant Elimination of Definite Iterations over Arrays in C Programs Verification by Ilya V. Maryasov, Valery A. Nepomniaschy, Dmitry A. Kondratyev

    Published 2017-12-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

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

    Published 2018-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: