TY  - RPRT
TI  - AutoDeduct: A Tool for Automated Deductive Verification of C Code
AU  - Jesper Amilon
AU  - Dilian Gurov
AU  - Christian Lidström
AU  - Mattias Nyberg
AU  - Gustav Ung
AU  - Ola Wingbrant
PY  - 2025
UR  - https://arxiv.org/abs/2501.10889
ID  - 2501.10889
ER  -