Software Safety Demonstration and Idemnification. - Odell Hegna (CoRR, 2015)