Inria
/
Raweb 2009
Presentation of the Project VerTeCs
Logo Inria
VerTeCs
Verification models and techniques applied to the Testing and Control of reactive Systems
2009 Research Team Activity Report
Rennes - Bretagne-Atlantique
Area :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Underlying Models.
Verification
Automatic Test Generation
Controller Synthesis
Application Domains
Panorama
Telecommunication Systems
Software Embedded Systems
Smart-card Applications
Control-command Systems
Software
TGV
STG
SIGALI
New Results
Verification and Abstract Interpretation
Active and passive testing
Controller Synthesis and Game Theory
Other Grants and Activities
National Grants & Contracts
European and International Grants
Collaborations
Dissemination
University courses
PhD Thesis and Trainees
Scientific animation
Bibliography
Major publications
Publications of the year
References in notes
