CONVECS - 2019 - Annual activity report

CONVECS

CONVECS - 2019

Project-Team Convecs

Team, Visitors, External Collaborators

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

Highlights of the Year

New Software and Platforms

CADP
TRAIAN

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

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Software and Platforms

TRAIAN

Keywords: Compilation - LOTOS NT

Functional Description: TRAIAN is a compiler for translating LOTOS NT descriptions into C programs, which will be used for simulation, rapid prototyping, verification, and testing.

The current version of TRAIAN, which handles LOTOS NT types and functions only, has useful applications in compiler construction [37], being used in all recent compilers developed by CONVECS.

Participants: Hubert Garavel, Frédéric Lang and Wendelin Serwe
Contact: Hubert Garavel
URL: http://convecs.inria.fr/software/traian/

Previous |

Home | Next next