|
LASSO: Laboratoire d'Analyse et de Synthèse des Systèmes Ordinés - 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.
|
|
|||||||||||||||||
|
|
||||||||||||||||||
|
||||||||||||||||||
