Master's Thesis, Indian Institute of Technology, New Delhi, India

A Generic Automated Proof-Carrying Framework

January 31, 2005

A. Chaudhuri