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.