Ask HN: How is the integrity of voting devices/software determined?

I know there are a diverse array of devices, electronics, and software out there.

What methods (e.g., code auditing, checksums, testing/QA, etc.), if any, are used by election officials to convince themselves that the devices and software they are using are safe?