Zobrazeno 1 - 10
of 13
pro vyhledávání: '"transformational semantics"'
Autor:
I. S. Anureev
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 34-44 (2015)
A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems t
Externí odkaz:
https://doaj.org/article/919a428bcad9458bb8884c55cbafb345
Publikováno v:
Cogito - Multidisciplinary research Journal. (2):99-107
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=290487
Autor:
I. S. Anureev
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 7-20 (2011)
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program mo
Externí odkaz:
https://doaj.org/article/faecfb92e8e64c9aab881c15df039bf7
Autor:
N. V. Shilov
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 4, Pp 111-124 (2010)
A verifying compiler is a system computer program that translates programs written by man from a high-level language into equivalent executable programs, and besides, proves (veri¯es) mathematical statements speci¯ed by man about the properties of
Externí odkaz:
https://doaj.org/article/1025272d3416496ebf202fcb02fd6748
Autor:
I. S. Anureev
Publikováno v:
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 6, Pp 34-44 (2012)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 6, Pp 34-44 (2015)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 6, Pp 34-44 (2015)
A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems t
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.
Conference
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.