TY  - RPRT
TI  - Partial Automation of Verification Condition Proving for Reflex Programs (Draft)
AU  - Artyom Ishchenko
AU  - Igor Anureev
PY  - 2026
UR  - https://arxiv.org/abs/2606.23377
ID  - 2606.23377
ER  -