|
CONVCS是Inria Grenoble-Rhóne-Alpes和LIG实验室共同的研究项目团队。其研究活动集中于异步并发系统的形式化建模和验证，这些系统在各个领域（通信协议、分布式算法、GALS等）中进行了实例化。为此，CONVCS提出了新的形式化语言来指定并发系统的行为和属性，并设计了在顺序和大规模并行机器上运行的高效验证算法和工具。
|
|
|
CONVCS团队于2023年6月成立。从左到右：Irman Faqrizal，让-巴蒂斯特·霍雷尔，Stéphane Ducasse（访问），休伯特·加拉维，皮埃尔·布维尔，昆汀·尼文，Wendelin Serwe，格温·萨拉恩，弗雷德里克·朗，Radu Mateescu，弗洛里安·加莱，阿汉佐，露西·穆勒，苏拉吉·古普塔，MyriamÉtienne（照片上没有），和菲利普·莱登特（照片上没有）。
|
CONVCS以前者的科学专长和人类潜力为基础VASY公司Inria项目团队。
|
