TY  - RPRT
TI  - PROVE-RT: Generating Mechanized Theorem Prover Scripts for Real-Time Systems using LLMs
AU  - Sadat Shahriyar
AU  - Shareef Ahmed
AU  - Abdullah Al Arafat
PY  - 2026
UR  - https://arxiv.org/abs/2608.12762
ID  - 2608.12762
ER  -