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