Trusted Logic Voting (TLV)

Douglas W. Jones asserts - "If the data formats used for election data reporting and election setup are sufficiently transparent and are disclosed to the public, third-party tools can be developed that allow observers to independently verify election results. If we require the publication of all of the relevant election data, including the election configuration files and the raw precinct-level data, then we will extend, to election observers, considerable rights that they have not had since the dawn of computerized vote tabulation."

http://www.cs.uiowa.edu/~jones/voting/nas-cstb2004a.shtml

Of course this is precisely what the OASIS EML 4.0 specifications bring to the table, and one of the reasons why they have been endorsed by the EU Council of Ministers for European election best-practice.