1980年，1980年，1990年，巴黎，CADP ont commocéau laboratoroire Verimagála fin des anneées，还与古学教授Jean-Claude Fernandez共鸣格勒诺布尔阿尔卑斯大学et membre du laboratoire Verimag，Hubert Garavel，INRIA au法律顾问格勒诺布尔信息实验室（LIG-CNRS/格勒诺布尔阿尔卑斯大学）和Laurent Mounier，《格勒诺布尔阿尔伯斯大学和Verimag实验室法案》。
阿尔·塞特·佩里奥德（ala cette période），《国际法》（ils’agissait de développer des）探讨了复合物（分析复合物体系）和反模拟（重新组合可能的体系等价物），以及计算的极限。
这是CADP项目的目标，具有重要意义分布式进程的构造与分析，一开始。Cette boêteáoutils est une suite logicielle quiaide les concepteurs de systèmes，les ingénieurs et les chercheursáconceptvoir etádéboguer des systémes distributues。联合国系统分发由计算机组成，要求发送信息。Ceux-ci sont notirement difficiesámettre en place，car les temps de transmission ne sont pas fixésál’avance，les machines peuvent tomber en panne，et de nombreux cas dovent donce tre pris en compte。举例来说，伊尔佩特·阿里弗-库恩机器参加库恩-奥特雷机器等待终点站分娩，让我参加奥特雷机器，让我去参加预选赛，让我来参加系统比赛(僵局，ou interblogage）。
某些情况下，如果有足够的资源，那么就很难满足测试需求，因为这是一个复杂的地形。La boâteáoutils CADP，en plus des tests，propose La vérification par=拉博塔（La boeࣛtáoutills CADP），加上测试，提出验证标准模型检查《最可怕的勘探》详尽地描述了这一产品。
这是一项艰巨的任务及时测试奖欧洲贸易促进局（ETAPS），欧洲贸易促进委员会（conférence européenne de réfénce dans le domaine de la vérification logicielle）。
《酒店开发》展示了格勒诺布尔国际酒店中心（Inria de Grenoble）的一套标准套房。劳改小组由休伯特·加拉维和弗雷德·里克·朗组成，劳改理事会，劳改理事拉杜·马特埃斯库，劳改会长温德林·塞尔韦和劳改理事会。
Quant au labatoire Verimag，il poursuit ses recherches sur les approachs qui aident a concevoir et a mettre enœuvre des systèmes informatiques sörs et fiables，a fois sur des aspects theoriques et plus appliques。
