Formally proving the correctness of functional programs
: a comparison of different methods in the proof assistant CoQ

  • S. Saidi

Student thesis: Master

Abstract

Date of Award31 Aug 2010
Original languageEnglish
SupervisorJ.H. (Herman) Geuvers (Supervisor 1)

Cite this

Formally proving the correctness of functional programs: a comparison of different methods in the proof assistant CoQ
Saidi, S. (Author). 31 Aug 2010

Student thesis: Master