The research activities of the COLOSS Team range from Fundamental Research to Applications.
The main goal is the elaboration of concepts, methods and techniques supported by tools for software designers and developers
We explore formal approaches (based on mathematical foundations) to the assistance and the analysis in the development of software:
Multi-formalism specification and analysis of software systems
Specification, verification and validation of components and software architectures.
The goal is to ensure correctness of components used and their composition in complex software systems.