Inria
/
Raweb 2006
Presentation of the Project Proval
Logo Inria
Proval
Proof of programs
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Higher-Order Functional Languages
Proof of Imperative and Object-Oriented programs
Automated deduction
Synchronous Programming
Application Domains
Panorama
Software
The CiME rewrite toolbox
The Why tool
The Krakatoa tool
The Caduceus tool
The Ergo theorem prover
Lucid Synchrone
Bibtex2html
New Results
Higher-order functional programs
Proof of imperative and object-oriented programs
Automated Deduction
Synchronous Programming
Contracts and Grants with Industry
System@tic: PFC
CIFRE grants
Other Grants and Activities
National initiatives
European initiatives
Visits, researcher invitation
Dissemination
Interaction with the scientific community
Teaching
Popularization
Bibliography
Major publications
Publications of the year
References in notes