Inria
/
Raweb 2003
Project: VASY
Logo Inria
Validation of Systems
VASY
2003 research project activity report
Rhône-Alpes
Theme:
1C
Presentation of the project
- Activity report in
PostScript
,
PDF
or
XML
format
Members
Overall Objectives
Introduction
Models and Verification Techniques
Languages and Compilation Techniques
Implementation and Experimentation
Application Domains
Software
The CADP Toolbox
The TRAIAN Compiler
New Results
Models and Verification Techniques
Languages and Compilation Techniques
Case Studies and Practical Applications
Contracts and Grants with Industry
The IST ArchWare European Contract
The FormalFame Contract
The RNTL Parfums Contract
Other Grants and Activities
National Collaborations
International Collaborations
Visits and Invitations
Dissemination
Software and Internet Dissemination
Program Committees
Lectures and Invited Conferences
Teaching Activities
Bibliography
Major publications
Year Publications
References in notes