Vol. 46, No. 4, 2020

Programming and Computer Software

Testing Equivalences of Time Petri Nets

E. N. Bozhenkova and I. B. Virbitskaite p. 251 abstract

Dedicative Verification of Reflex Programs

I. S. Anureev, N. O. Garanina, T. V. Lyakh, A. S. Rozov, V. E. Zyubin and S. P. Gorlatch p. 261 abstract

Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains

Yu. A. Zagorulko and O. I. Borovikova p. 273 abstract

Dynamic Program Analysis Tools in GCC and CLANG Compilers

N. I. V’yukova, V. A. Galatenko and S. V. Samborskii p. 281 abstract

Survey of Nvidia RTX Technology

V. V. Sanzharov, V. A. Frolov and V. A. Galaktionov p. 297 abstract