Search Results - "cloud parallel programming system"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    ISSN: 1818-1015, 2313-5417
    Published: Yaroslavl State University 18.12.2021
    “…The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 0146-4116, 1558-108X
    Published: Moscow Pleiades Publishing 01.12.2022
    Published in Automatic control and computer sciences (01.12.2022)
    “…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: