Comment by chopin

How is guaranteed that the open source code runs on the voting and tallying computers? How can citizens verify this?