Inria
/
Raweb 2006
Presentation of the Project VerTeCs
Logo Inria
VerTeCs
Verification models and techniques applied to the Testing and Control of reactive Systems
2006 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
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
NBAC
STG
SIGALI
Ctrl-S
New Results
Controller Synthesis
Test Generation on Enumerative and Symbolic Models
Verification and Abstract Interpretation
Transversal Results
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