Pennsylvania, like many jurisdictions, is actively striving to improve the trustworthiness of its voting processes. A critical component of this effort involves examining the voting software used to tally votes. Recent challenges surrounding election integrity have brought attention to the importance of auditable voting systems. This examination wi