HOL-TestGen - Générateur de tests à partir de spécifications HOL
Date de dépôt : 01 janvier 1970

Responsable : WOLFF Burkhart


Avec HOL-TestGen, on peut:

• écrire des spécifications de test en logique de l\'ordre supérieur (HOL),
• partitionner l\'espace des valeurs d\'entrée de manière (semi) automatique
• sélectionner des valeurs de données concrètes
• générer des programmes (en SML) réalisant le test.

Pour en savoir plus: http://www.brucker.ch/projects/hol-testgen/index.en.html

Logiciel - Licence : BSD License



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  Test formel basé sur les modèles

Membres
  WOLFF Burkhart
  WENZEL Markus

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé