Inria
/
Raweb 2010
Presentation of the Project FORMES
Logo Inria
FORMES
FOrmal Methods for Embedded Systems
2010 Research Team Activity Report
Paris - Rocquencourt
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Overall Objectives
Highlights of the period
Scientific Foundations
Historical context
Simulation
Formal proofs
Verification
Decision Procedures
Trustworthy software
Application Domains
Application domains
Software
aCiNO
CoLoR and Rainbow
CoqMT
EDOLA-PLC
Moca
SimSoC
SimSoC-Cert
New Results
Simulation
Type and rewriting theory
Decision procedures
Learning in verification
Specification and verification of TLA+ and PLC systems
Distributed algorithms
Contracts and Grants with Industry
Schneider Electric
Orange IT Labs
Other Grants and Activities
International Initiatives
National Initiatives
Dissemination
Visits
Committees
Internships
Teaching
Long-term visitors
Short-term visitors
Bibliography
Major publications
Publications of the year
References in notes
