TY  - RPRT
TI  - Verifying a Sparse Matrix Algorithm Using Symbolic Execution
AU  - Alexander C. Wilton
PY  - 2025
DO  - 10.4204/eptcs.432.5
UR  - https://arxiv.org/abs/2510.13424
ID  - 2510.13424
ER  -