Pennsylvania, like many jurisdictions, is continuously striving to enhance the trustworthiness of its elections. A critical component of this endeavor involves evaluating the voting software used to tally votes. Emerging challenges surrounding election integrity have highlighted the importance of auditable voting systems. This assessment will delve