Inria
/
Raweb 2006
Presentation of the Project VASY
Logo Inria
VASY
Validation of Systems
2006 Research Team Activity Report
Theme :
COM
Presentation of the Project-Team
- Activity Report in
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 FormalFame Plus Contract
The Multival Project
The OpenEmbeDD Project
The Topcased Project
Forthcoming Projects
Other Grants and Activities
National Collaborations
International Collaborations
Visits and Invitations
Dissemination
Software Dissemination and Internet Visibility
Program Committees
Lectures and Invited Conferences
Teaching Activities
Miscellaneous Activities
Bibliography
Major publications
Publications of the year
References in notes