How to make a simple tool for verification of real-time systems. - Igor V. Konnov 001; Vladislav V. Podymov; Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin (Autom. Control. Comput. Sci., 2014)

An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. - Vladislav V. Podymov (CS&P, 2015)

A combined toolset for the verification of real-time distributed systems. - Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin; Vladislav V. Podymov; Igor V. Konnov 001 (Program. Comput. Softw., 2015)

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. - Vladislav V. Podymov (Fundam. Informaticae, 2016)

Formal Verification of Three-Valued Digital Waveforms. - Nina Yu. Kutsak; Vladislav V. Podymov (Autom. Control. Comput. Sci., 2020)