A Deductive Verification Framework For Higher Order Programs

Tiago Lopes Soares

In this report, we present the preliminary work developed for our research project for the APDC (Área Prática de Desenvolvimento Curricular) course. The main goal of this project i…