Pennsylvania, like many states, is actively striving to improve the trustworthiness of its democratic procedures. A critical component of this endeavor involves evaluating the voting software used to process votes. Recent concerns surrounding election security have shed light on the importance of verifiable voting systems. This examination will del