TY  - RPRT
TI  - KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
AU  - Minghua Wang
AU  - Yuxi Ling
AU  - Mingzhi Gao
AU  - Yuwei Liu
AU  - Lin Huang
PY  - 2026
UR  - https://arxiv.org/abs/2607.21957
ID  - 2607.21957
ER  -