Serveur Recherche
Activités de recherche liées au développement de logiciels:
- VERIFICATION. Le Model-Checking est une technique de logique formelle qui permet de vérifier qu'un programme informatique satisfait une propriété. Les recherches portent sur sa généralisation à des programmes et au concept de Vérification Approchée.
- XML. Ce langage de description de données présente de nombreux aspects liés à la logique. La recherche porte sur le développement de testeurs et de correcteurs.
- Correcteur XML : dans le cas où un fichier XML ne satisfait pas une DTD et lorsqu'il n'est pas trop loin de la satisfaire, le correcteur corrige les erreurs et produit un fichier
qui satisfait la DTD.
- Testeur XML