Verifying PETSc Vector Components Using CIVL. - Venkata Dhavala; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (CAV (1), 2025)