Verifying ParamGen: A case study in scientific software abstraction and modeling

Proceedings of the 2023 Improving Scientific Software Conference, 1–9.