Next:
Le thème scientifique
Sujets de thèse autour du modèle AltaRica
L'équipe MVTsi
Le thème scientifique
Le projet AltaRica
Sujet : Modélisation et vérification temporelles en AltaRica
Sujet : Intégration des techniques de preuve de théorèmes et de vérification symbolique pour la preuve de circuits séquentiels
Sujet : Extensions de structures de données partagées pour la vérification de systèmes complexes
Sujet : Techniques de vérification et de génération de séquences de test
Sujet : L(A)=L(B)?
Equipe
Modélisation, Vérification et Test des systèmes informatisés
Fri May 15 10:32:44 CEST 1998