#NOVAID-B204 - COMPETITION FOR GRANTING 1 RESEARCH INITITATION SCHOLARSHIP
10/05/2024
Caparica, Setúbal
Offer Description Work Plan: Study of the Cameleer and Viper verification tools. Design and implementation of an intermediate representation for OCaml programs decorated with Separation Logic-based specification. Implementation of a tr...