Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: VerTeCs

Project : vertecs

Section: Application Domains


Keywords : Telecommunication , software embedded systems , transportation systems , smart-cards , control-command Systems .

Panorama

The methods and tools developed by the VerTeCs project-team for test generation and control synthesis of reactive systems are quite generic. This allows us to apply them in many application domains where the presence of software is predominant and its correctness is essential. In particular, we apply our research in the context of telecommunication systems, for embedded systems, for smart-cards application, and control-command systems.


previous
next