Français Anglais
Accueil Annuaire Plan du site
Home > Research results
Research results
[connexion sécurisée]
Research highlights
ON THEOREM PROVER-BASED TESTING
10 January 2012

HOL-TestGen is a specification and test case generation environment extending the interactive theore
BOOK ON
15 December 2011

Web Data Management and Distribution book by S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset an
Contracts & grants
TYPEX - ANR
   TYPEFUL CERTIFIED XML: : INTEGRATING LANGUAGE, LOGIC, AND DATA- ORIENTED BEST PRACTICES

PARAL-ITP - ANR
   PERVASIVE PARALLELISM IN HIGHLY-TRUSTABLE INTERACTIVE THEOREM PROVING SYSTEMS

TEOMATRO - ANR
   TEOMATRO

PIMI - ANR
   PIMI

SIMINOLE - ANR
   SIMINOLE

Software & patents
QUAFF
Quaff: Dataflow EDSL for Parallel Programming

NT2
The Numerical Template Toolbox

HOL-TESTGEN
A generator of test-data from HOL specifications

CELL-MPI BREVET
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA

Ph.D. dissertations & Faculty habilitations