HOL-TestGen - Générateur de tests à partir de spécifications HOL
Date de dernière version : 13 novembre 2017

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

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE