Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
Ishchenko A. Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // # 25, 2024
