Skip to main content

CONVECS - Construction of Verified Concurrent Systems

Joint research project-team INRIA and CNRS, Grenoble INP, UGA
Area : Formal Methods, Models, and Languages

CONVECS is an Inria project-team focusing on the reliable design of concurrent and critical systems involving asynchronous parallelism. The research activities of CONVECS concern the definition of formal languages for describing the behaviour, the logical properties, and the quantitative aspects of these systems, as well as compositional, on-the-fly, parallel, and distributed verification techniques enabling to handle large systems. CONVECS develops advanced software tools, which are widely used in academia and industry.


Models and Languages    Software    Models    Discrete-Event Systems    Language Theory    Critical Systems    Embedded systems    Performance evaluation    Programming Language Specification and Validation    Verification - Proof - Testing    Safety and Reliability of Software    Compiling and Code Generation


Leader  Radu MATEESCU
Phone  04 76 61 54 86
Building  Montbonnot - INRIA

Submitted on March 4, 2024

Updated on March 4, 2024