Formal verification of approximate-DP via the characteristic function Published in , 1900Undergraduate Honor Thesis