Results 1 to 4 of about 4 (4)
On the application of equivalence checking algorithms for program minimization
Труды Института системного программирования РАН, 2018 Equivalence checking algorithms found vast applications in system programming; they are used in software refactoring, security checking, malware detection, program integration, regression verification, compiler verification and validation.
V. A. Zakharov, V. V. Podymov
doaj +1 more source
Finite state automata in the theory of algebraic program schemata
Труды Института системного программирования РАН, 2018 Algebraic models of programs considered in this paper generalize two models of programs introduced by A.A. Lyapunov and A.A. Letichevsky. The theory of these models focuses on the equivalence checking problem for program schemata which are formalization ...
R. I. Podlovchenko
doaj +1 more source
Modeling and analysis of the behavior of successive reactive programs
Труды Института системного программирования РАН, 2018 Finite state transducers extend the finite state automata to model functions on strings or lists. They may be used also as simple models of sequential reactive programs. These programs operate in the interaction with the environment permanently receiving
V. A. Zakharov
doaj +1 more source
Труды Института системного программирования РАН, 2018 In this paper we study the equivalence problem in the model of sequential programs which assumes that some instructions are commutative and absorbing. Two instructions are commutative if the result of their executions does not depend on an order of their
V. V. Podymov, V. A. Zakharov
doaj +1 more source