ormal_verification_of_tail_distribution.pdf;/974500/1/formal_verification_of_tail_distribution.pdf