Re: Preuves scientifiques?

Posté par Thomas Douillard () le 25/10/2006 à 13:05. (lien). Évalué à 5.

Si on savait répondre à tes questions simplement, il n'y aurait pas besoin de ce projet ;).

Ils prévoient plus d'un an sur les deux de définition précise du projet, bibliographie et spécification ...

http://www.sqo-oss.eu/about/activities

Ce que je vois 'à priori' sur la qualité, c'est par exemple la qualité du code. Utiliser et concevoir des outils de preuves de programmes pour rechercher des propriétés comme "pas de segfault" dans le code.

Mais tu à raison, le projet semble bien plus vaste, ils vont sans doute mettre des équipes de recherche en labo et/ou en r&d dans les entreprises sur des domaines relativement larges (de l'ihm à la preuve formelle de programme, recherche de bugs, ...)

[ Répondre ]