[jedberg]

The beauty of voting software is that you don't have to verify the code if you hold the vote correctly. If the software provides a voter verifiable paper trail, the voter can verify their vote before turning it in.

The county can then verify the software by manually counting a random selection of paper votes to see if they match the software. If they do, then the software is correct, otherwise it is not. You then have a full by-hand recount and tell the vendor to fix their software.