Well, it looks like they can, in fact, audit the code of the programs in the actual voting machines and look for any kind of vote tampering code or other software. That ought to be a good start at least.