Pennsylvania, like many jurisdictions, is always striving to strengthen the trustworthiness of its elections. A critical component of this endeavor involves scrutinizing the voting software used to process votes. Recent challenges surrounding election integrity have brought attention to the importance of verifiable voting systems. This examination