Inria / Raweb 2003
Project: VASY

Validation of Systems

• 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