Pennsylvania, like many jurisdictions, is continuously striving to improve the trustworthiness of its voting processes. A critical component of this effort involves examining the voting software used to count votes. Emerging challenges surrounding election security have highlighted the importance of verifiable voting systems. This examination will