Zobrazeno 1 - 10
of 10
pro vyhledávání: '"I. S. Anureev"'
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
Autor:
I. S. Anureev
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 34-44 (2012)
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/97165d259937457ca94f6a6a6085de98
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
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
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 4, Pp 88-100 (2010)
This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The pro
Externí odkaz:
https://doaj.org/article/fc9e7fbb37df4e5f8527eb0bc1261d3a
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
Publikováno v:
Agents and Multi-agent Systems: Technologies and Applications 2023 ISBN: 9789819930678
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::152cb1f2c373ed5acdd8cf3c94b90441
https://doi.org/10.1007/978-981-99-3068-5_35
https://doi.org/10.1007/978-981-99-3068-5_35
Autor:
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch
Publikováno v:
Automatic Control and Computer Sciences. 55:763-775
Publikováno v:
Programming & Computer Software; Nov2003, Vol. 29 Issue 6, p338-350, 13p
Publikováno v:
Programming & Computer Software; Nov2002, Vol. 28 Issue 6, p314-323, 10p