Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Alexey V. Promsky"'
Autor:
Alexey V. Promsky, Dmitry Kondratyev
Publikováno v:
System Informatics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd30a8501e0ab599fb5bc6d509c9302c
https://doi.org/10.31144/si.2307-6410.2019.n14.p31-44
https://doi.org/10.31144/si.2307-6410.2019.n14.p31-44
Autor:
Dmitry Kondratyev, Alexey V. Promsky
Publikováno v:
Automatic Control and Computer Sciences. 49:445-452
Compared with traditional testing, the deductive verification represents a more formal way to establish the program correctness. However, can we be sure that the verification system itself is correct? The theoretical foundations of Hoare logic were e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91cb61dc7be1f5d803a5b96924980215
https://doi.org/10.3103/s0146411615070123
https://doi.org/10.3103/s0146411615070123
Autor:
Igor S. Anureev, Alexey V. Promsky
Publikováno v:
System Informatics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f75cc3029d9eb8b9c44672ad6305f6fc
https://doi.org/10.31144/si.2307-6410.2017.n9.p133-154
https://doi.org/10.31144/si.2307-6410.2017.n9.p133-154
Autor:
Alexey V. Promsky
Publikováno v:
Automatic Control and Computer Sciences. 46:394-401
Two lines of developing the C program verification project at the A.P. Ershov Institute of Informatic Systems are presented. Firstly, the axiomatic semantics of the C-kernel language was extended by the semantic labelling. The labels introduced in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9130af8f3b6b05aa95dc7b0462039ee
https://doi.org/10.3103/s0146411612070127
https://doi.org/10.3103/s0146411612070127
Autor:
Ilya V. Maryasov, Alexey V. Promsky, Valery A. Nepomniaschy, A. A. Petrov, Igor S. Anureev, M. M. Atuchin
Publikováno v:
Automatic Control and Computer Sciences. 45:413-420
An extendable multilanguage analysis and verification system SPECTRUM is presented; this system is being developed in the framework of the project SPECTRUM. The prospects of the application of this system are demonstrated, as exemplified by the verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8202ef8956bacb852291ecca4dfe99a7
https://doi.org/10.3103/s014641161107011x
https://doi.org/10.3103/s014641161107011x
Publikováno v:
Programming and Computer Software. 32:190-202
In the paper, a new three-level approach to the verification of sequential object-oriented programs is presented. It is applied to an expressive subset C#-light of the C# language, which includes all basic sequential constructs of the latter. At the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f74aa345254b8cd980e1eeb9c2420c72
https://doi.org/10.1134/s0361768806040025
https://doi.org/10.1134/s0361768806040025
Autor:
Alexey V. Promsky, Dmitry Kondratyev
Publikováno v:
System Informatics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03087e35e2f1c03b11a8f597d3672d81
https://doi.org/10.31144/si.2307-6410.2013.n1.p79-96
https://doi.org/10.31144/si.2307-6410.2013.n1.p79-96
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540208136
Ershov Memorial Conference
Ershov Memorial Conference
The paper presents the language C-light which is a representative verification-oriented subset of the standard C. This language allows deterministic expressions and a limited use of the statements switchand goto. C-light includes the C++ operators ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5057a6ea775ad8e1b202ae0aa833d822
https://doi.org/10.1007/978-3-540-39866-0_12
https://doi.org/10.1007/978-3-540-39866-0_12
