CONVECS - 2013 - Annual activity report

CONVECS

CONVECS - 2013

Project-Team Convecs

Members

Overall Objectives

Overview

Research Program

New Formal Languages and their Concurrent Implementations
Parallel and Distributed Verification
Timed, Probabilistic, and Stochastic Extensions
Component-Based Architectures for On-the-Fly Verification
Real-Life Applications and Case Studies

Application Domains

Application Domains

Software and Platforms

The CADP Toolbox
The TRAIAN Compiler
The PIC2LNT Translator
The PMC Partial Model Checker

New Results

New Formal Languages and their Implementations
Parallel and Distributed Verification
Timed, Probabilistic, and Stochastic Extensions
Component-Based Architectures for On-the-Fly Verification
Real-Life Applications and Case Studies

Bilateral Contracts and Grants with Industry

Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization
Miscellaneous Activities

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

CONVECS

Construction of verified concurrent systems

Research centre: Grenoble - Rhône-Alpes

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

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, Verification, Distributed Algorithms, Markovian Model