Construction and Analysis of Distributed Processes
id:
construction-and-analysis-of-distributed-processes-316-16342143
title:
Construction and Analysis of Distributed Processes
text:
CADP is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team at INRIA Rhone-Alpes and connected to various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects. The purpose of the CADP toolkit is to facilitate the design of reliable systems by use of formal description techniques together with software tools for simulation, rapid application development, verification, and test generation. C
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Construction_and_Analysis_of_Distributed_Processes
date created:
date modified:
2024-04-04T17:28:16Z
main entity:
{"identifier":"Q5164442","url":"https://www.wikidata.org/entity/Q5164442"}
image:
fields total:
13
integrity:
13