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.

View online : detailed description

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1684345