LASSO: Laboratoire d'Analyse et de Synthèse des Systèmes Ordinés

Home Members Location Documentations Projects Old projects Equipements Partners Collaboration Forum Cadence



There is growing interest in the microelectronics industry in the use of formal methods in the design, verification, and test of microelectronics systems. Our group is very well situated in this field as both software and methodology developers, and as educators.Our research gravitates around these subjects as well:

For more detail about our research activites, please see projects descriptions.

The teaching personnel of the laboratory proposes graduate and under graduate courses in this field of research: