Inria
/
Raweb 2010
Presentation of the Project VASY
Logo Inria
VASY
Validation of Systems
2010 Research Team Activity Report
Grenoble - Rhône-Alpes
Field :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Overview
Highlights
Scientific Foundations
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 EC-MOAN Project
The Multival Project
The Topcased Project
Other Grants and Activities
National Collaborations
European Collaborations
International Collaborations
Visits and Exchanges
Dissemination
Software Dissemination and Internet Visibility
Program Committees
Lectures and Invited Conferences
Teaching
Miscellaneous Activities
Bibliography
Major publications
Publications of the year
References in notes