The machine can print a human and machine readable copy. Then feed that into another machine after verifying and you have two independent digital counts that can verify each other. You also have the paper that can be manually counted if you need to be extra sure.

This is what we had for a few years. Now the first step is replaced by manual bubbling. Still have the scan for the instant digital count though.