I see lots of discussion of process on the OSDV site and wiki, but nothing about vote verification. There's pedestrian validation of hardware and software in machines, but no cryptographic method for voters to check that their vote was included in the final tally, in a David Chaum sense.

Without tamper-resistant algorithms, this is just Diebold++.