Inria
/
Raweb 2007
Presentation of the Project VerTeCs
Logo Inria
VerTeCs
Verification models and techniques applied to the Testing and Control of reactive Systems
2007 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme :
COM
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
Ctrl-S
New Results
Controller Synthesis
Test Generation on Enumerative and Symbolic Models
Verification and Abstract Interpretation
Diagnosis and application to Security
Contracts and Grants with Industry
France Telecom R&D
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
