Godlevsky A.B.
Godlevsky A.B.
V.M.Glushkov Institute of Cybernetics
Verified email at
Cited by
Cited by
Properties of a predicate transformer of the VRS system
AA Letichevsky, AB Godlevsky, AA Letychevsky, SV Potiyenko, ...
Cybernetics and Systems Analysis 46, 521-532, 2010
Iterative methods of program analysis
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 25 (2), 139-152, 1989
Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes
AB Godlevskii, AA Letichevskii, SK Shukuryan
Cybernetics 16 (6), 793-799, 1980
An efficient algorithm for constructing the basis of a subgroup of a free group
AA Letichevskii, AB Godlevskii, SL Krivoi
Cybernetics 17 (3), 407-416, 1981
Backward transformation of formulas in symbolic modeling: from the result to the source formula
AB Godlevsky, SV Potienko
Problems of Programming 4, 363-368, 2010
Iterative methods of program analysis: Equalities and inequalities
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 26, 307-318, 1990
Semantics of data exchanges in simple multimodule programs
AA Letichevskii, AB Godlevskii, AE Doroshenko, SL Krivoi
Programmirovanie 5, 3-12, 1983
Invariants in symbolic modeling and verification of requirements
A Letichevsky, A Godlevsky, A Guba, A Kolchin, O Letychevskyi, ...
Ninth International Conference on Computer Science and Information …, 2013
On some special case of the functional equivalence problem for discrete transformers
AB Godlevsky
Cybernetics, 32, 1974
The Parallel Dynamical Semantics of Sequential Program that Allows Speculative and Incremental Computation
AB Godlevsky
Kibernetika i sistemny analiz, 131-153, 1996
Parallelizing programs with APS
AB Godlevsky, AE Doroshenko
Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993
Synthesis methods for discrete models of biological systems
VM Glushkov, AA Letichevskii, AB Godlevskii
Methods of Mathematical Biology, 1983
On some specific cases of halting problem and equivalence problem for automata
AB Godlevsky
Cybernetics, 90, 1973
Some results on regular events for multitape finite automata: a preliminary report
A Godlevsky, H Grigoryan, T Grigoryan, S Shoukourian
Bulletin of EATCS 1 (133), 2021
A development technique and means for formalizing functional specifications of software and hardware systems
AB Godlevsky, NM Mishchenko, MK Morokhovets, OD Felizhanko, ...
Cybernetics and Systems Analysis 52 (5), 684-697, 2016
Usage of Invariants for Symbolic Verification of Requirements.
AA Letichevsky, A Godlevsky, A Guba, A Kolchin, OA Letychevskyi, ...
SCSS, 124, 2013
Predicate transformers in the context of symbolic modeling of transition systems
AB Godlevsky
Cybernetics and Systems Analysis 46, 602-608, 2010
Constructing parallel implementations with algebraic programming tools
AE Doroshenko, AB Godlevsky
Proceedings the First Aizu International Symposium on Parallel Algorithms …, 1995
Parallelising programs with algebraic programming tools
AE Doroshenko, AB Godlevsky
EURO-PAR'95 Parallel Processing: First International EURO-PAR Conference …, 1995
Design of effective automaton-reduction algorithms for some equivalence relations
AB Godlevskii, SL Krivoi
Cybernetics 25, 772-782, 1989
The system can't perform the operation now. Try again later.
Articles 1–20