VASY - 2011 - Annual activity report

VASY

VASY - 2011

Project Team Vasy

Members

Overall Objectives

Overview
Highlights

Scientific Foundations

Models and Verification Techniques
Languages and Compilation Techniques
Implementation and Experimentation

Application Domains

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 Multival Project
The Topcased Project

Partnerships and Cooperations

National Collaborations
European Collaborations
International Collaborations
Visits and Exchanges

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

Home | Next next

2011 Team Activity Report

VASY

Validation of Systems

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Institut polytechnique de Grenoble, Université Joseph Fourier (Grenoble 1)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real Time Systems

Keywords: Formal Methods, Model-Checking, Programming Languages, Safety, Distributed System