[Master] Decision Procedures for Separation Logic Modulo Theories of Data
Master level, 6 months
The goal of this internship is to study the combination of Separation Logic with data theories supported by SMT solvers. The internship comprises theoretical as well as implementation work.
Voir en ligne : detailed description
