Inria
/
Raweb 2009
Presentation of the Project FORMES
Logo Inria
FORMES
FOrmal Methods for Embedded Systems
2009 Research Team Activity Report
Paris - Rocquencourt
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Overall Objectives
Highlights of the year
Scientific Foundations
Simulation
Formal proofs
Application Domains
Software
SimSoC
CoqMT
aCiNO
CoLoR and Rainbow
Moca
New Results
Simulation
Certified provers
Decision procedures
Termination
Confluence
Assume-Guarantee reasoning
Distributed algorithms
Contracts and Grants with Industry
Schneider Electric
Orange IT Labs
Other Grants and Activities
International Initiatives
National Initiatives
Dissemination
Visits and presentations
Editorial duties
Program committees
Internships
Teaching
Long-term visitors
Short-term visitors
Bibliography
Major publications
Publications of the year
References in notes