TY  - RPRT
TI  - Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
AU  - Letitia W. Li
AU  - Denley Lam
AU  - Vu Le
AU  - Daniel Mitchell
AU  - Mark J. Gerken
AU  - Robert B. Ross
PY  - 2026
UR  - https://arxiv.org/abs/2601.11510
ID  - 2601.11510
ER  -