industrial partners
Radboud Universiteit Nijmegen  
TAROT designation : RUN
Address :
Country : Netherlands
Website :

Contact : Jan Tretmans,

Significant recent publications :
  • P. Koopman, A. Alimarine, J. Tretmans and R. Plasmeijer, GAST : Generic Automated Software Testing. In IFL'02 - Implementation of Functional Languages, Lecture Notes in Computer Science, Springer-Verlag, 2003.

  • J. Tretmans, K. Wijbrans and M. Chaudron, Software Engineering with Formal Methods : The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods.

  • Accueil Plan du site Contact Plan d'accès Rechercher Mentions légales