Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Formalizing computational analysis

Participants : Laurent Théry, Florian Steinberg [Inria Saclay, Toccata project-team] , Holger Thies [Kyushu University, Fukuoka] .

Florian Steinberg, Holger Thies, and Laurent Théry have been working on formalizing computational analysis. This work is described in a paper to be submitted for publication [13]. A shorter version was published in a conference [9].