Projects

Ongoing projects
Acronym Project Start Date
FAULTLocker FAULT LOCalization and repair toolKit for dEpendable softwaRe 01/09/2018
Closed projects
Acronym Project Start Date
SAT-Based Techniques for Automated Graph Construction SAT-Based Techniques for Automated Graph Construction 04/01/2016