Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
[connexion sécurisée]
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
DATACERT
DataCert: A coq library for Data Intensive Languages and Systems Certification

PINT
Formal analysis of dynamics for large-scale biological networks

MAGMA
Contribution to numerical linear algebra libraries