Logiciels d'interprétation abstraite / Abstract Interpretation Software Packages


Les outils référencés ci-dessous sont rféservés à un usage académique. Pour un usage commercial de ces outils, veuillez contacter leurs auteurs.
The tools referenced below are for an academic use only. For commercial use of these tools, please contact their authors.

Sans Garantie, Warrantly Disclaimer
Droits d'auteur, Copyright Notice
Retour à / back to: Page personnelle / home page, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified : Monday, 28-Dec-2009 15:11:16 CET