Kryvolap, A. et al. 2026. Frame rule in monotone Floyd – Hoare logic extension. Bulletin of Taras Shevchenko National University of Kyiv. Physics and Mathematics. 82, 1 (Jun. 2026), 218–224. DOI:https://doi.org/10.17721/1812-5409.2026/1.29.