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

Contact | Plan du site | Site réalisé avec SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1684344