Zobrazeno 1 - 8
of 8
pro vyhledávání: '"c-kernel"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 52-63 (2013)
The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deducti
Externí odkaz:
https://doaj.org/article/e92111dd8031493f94efc52057156919
Autor:
M. M. Atuchin, I. S. Anureev
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 21-33 (2011)
In this paper a new kind of annotations, called attribute annotations, and the methodology for their application in a deductive program verification are proposed. A collection of annotating attributes for the subset C-kernel of the C language is desc
Externí odkaz:
https://doaj.org/article/bf712c51f621466bbeecc7b3cd1c3389
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 3, Pp 5-28 (2010)
The mixed axiomatic semantics of a C-kernel language is described. This language is the kernel of a representative C language subset which is callexl C-light. Such semantics allows to simplify the verification conditions in many cases. This semantics
Externí odkaz:
https://doaj.org/article/00f79700e2564119bfb7c6b792c6bf7b
Autor:
Array Александрович Непомнящий, Array Владимирович Марьясов, Array Александрович Кондратьев, Array Владимирович Промский
Publikováno v:
Modelirovanie i Analiz Informacionnyh Sistem, Vol 20, Iss 6, Pp 52-63 (2013)
The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deducti
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.