CONVECS - Construction of Verified Concurrent Systems

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.