IRIT
up
Master project and internship proposals
(updated for 2014 / 2015)
Don't hesitate to contact
me
for further inquiries.
Master projects
Modular reasoning about graph transformations
Verified graph transformations with attributes
Inferring loop invariants for graph transformations
Verification of transformations of infinite graphs
Projet long de l'Enseeiht
An Eclipse environment for verified graph transformations
Martin Strecker
Last modified: Thu Oct 30 15:00:13 CET 2014