TY  - RPRT
TI  - Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
AU  - João Pascoal Faria
AU  - Emanuel Trigo
AU  - Vinicius Honorato
AU  - Rui Abreu
PY  - 2026
UR  - https://arxiv.org/abs/2601.12845
ID  - 2601.12845
ER  -