Contents

Programming and Computer Software


Vol. 46, No. 4, 2020


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