Section: Contracts and Grants with Industry

MITI-QualitéSys

Participants : Simon Denier, Stéphane Ducasse.

MITI-QualitéSys is a software company developing a bug detection platform especially in the context of concurrent programming. The goal of this collaboration is the design of dedicated visualizations for presenting the results of MITI-QualitéSys software analyses.