Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems with E. Khalife, and M. Farhood presented at NASA Formal Methods 2023 in Houston, TX on May 16-18th