-
Realizability and parametricity in Pure Type Systems
This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to... -
Contribution to the study of second order turbulence models
This work is devoted to one-point turbulence modelling<br /> for incompressible turbulent flows.<br /><br /><br /> The behaviour of classical... -
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several...
