Dmitry A. Kondratyev, Valery A. Nepomniaschy. Automation of C Program Deductive Verification without Using Loop Invariants. Programming and Computer Software, 48(5):331-346, 2022. [doi]
@article{KondratyevN22,
title = {Automation of C Program Deductive Verification without Using Loop Invariants},
author = {Dmitry A. Kondratyev and Valery A. Nepomniaschy},
year = {2022},
doi = {10.1134/S036176882205005X},
url = {https://doi.org/10.1134/S036176882205005X},
researchr = {https://researchr.org/publication/KondratyevN22},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {48},
number = {5},
pages = {331-346},
}