Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel HOL-TestGen


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

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

Logiciels et brevets
PINT
Formal analysis of dynamics for large-scale biological networks

SMARTIES
The Smarties Input System

CAUSALEX
Causality Graph Explorer