By Stephen Checkoway.
In partial fulfillment of the requirements of the research examination.
We give a self-contained presentation and evaluation of a number post-election audit procedures. Methods which do not provide a statistical bound on the chance of being wrong give little confidence in the reported outcome of an election.