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
> more highlights

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

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

.

.

Symbolic Testing of Composite Web Services

.