Inria
/
Raweb 2006
Presentation of the Project EVEREST
Logo Inria
EVEREST
Vérification et sécurité du logiciel
2006 Research Team Activity Report
Sophia Antipolis - Méditerranée
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Type systems
Program verification
Machine-checked semantics and algorithms
Software security
Proof Carrying Code
Application Domains
Smart devices
Global computing
Software
Jack: a tool for applet validation
Jakarta
New Results
Program verification and Proof Carrying Code
Machine-checked semantics and algorithms
Type theory and proof assistants
Contracts and Grants with Industry
Contracts
National projects
European projects
International projects and collaborations
Dissemination
Conference and workshop attendance, travel
Leadership within scientific community
Visiting scientists
Supervision of Ph.D. projects
Ph.D. committees
Supervision of internships
Teaching
Bibliography
Publications of the year
References in notes