Vladislav V. Podymov

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Formal Verification

Algorithm Employs

Top Venues

Autom. Control. Comput. Sci.

Fundam. Informaticae

Program. Comput. Softw.

Publications

Nina Yu. Kutsak, Vladislav V. Podymov
Formal Verification of Three-Valued Digital Waveforms. Autom. Control. Comput. Sci. 54 (7) (2020)
Vladislav V. Podymov
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. Fundam. Informaticae 147 (2-3) (2016)
Vladislav V. Podymov
An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. CS&P (2015)
Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
A combined toolset for the verification of real-time distributed systems. Program. Comput. Softw. 41 (6) (2015)
Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin
How to make a simple tool for verification of real-time systems. Autom. Control. Comput. Sci. 48 (7) (2014)