Zhora V, Synetskyi O. Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems. TAPR [Internet]. 2021Apr.30 [cited 2024Aug.13];2(2(58):41-5. Available from: https://journals.uran.ua/tarp/article/view/229539