Certification of high-level and low-level programs