Construction and Analysis of Distributed Processes (original) (raw)
CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY 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.
| Property | Value |
|---|---|
| dbo:abstract | CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY 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. CADP can be applied to any system that comprises asynchronous concurrency, i.e., any system whose behavior can be modeled as a set of parallel processes governed by interleaving semantics. Therefore, CADP can be used to design hardware architecture, distributed algorithms, telecommunications protocols, etc.The enumerative verification (also known as explicit state verification) techniques implemented in CADP, though less general that theorem proving, enable an automatic, cost-efficient detection of design errors in complex systems. CADP includes tools to support use of two approaches in formal methods, both of which are needed for reliable systems design: * Models provide mathematical representations for parallel programs and related verification problems. Examples of models are automata, networks of communicating automata, Petri nets, binary decision diagrams, boolean equation systems, etc. From a theoretical point of view, research on models seeks for general results, independent of any particular description language. * In practice, models are often too elementary to describe complex systems directly (this would be tedious and error-prone). A higher level formalism known as process algebra or process calculus is needed for this task, as well as compilers that translate high-level descriptions into models suitable for verification algorithms. (en) |
| dbo:developer | dbr:INRIA |
| dbo:genre | dbr:Model_checker |
| dbo:latestReleaseDate | 2020-12-13 (xsd:date) |
| dbo:latestReleaseVersion | 2020 |
| dbo:operatingSystem | dbr:Linux dbr:MacOS dbr:Windows dbr:Solaris_(operating_system) dbr:OpenIndiana |
| dbo:thumbnail | wiki-commons:Special:FilePath/cadp_logo.gif?width=300 |
| dbo:wikiPageExternalLink | http://cadp.inria.fr/changes.html http://convecs.inria.fr/ http://vasy.inria.fr/ http://cadp.inria.fr/ http://convecs.inria.fr http://vasy.inria.fr |
| dbo:wikiPageID | 22992399 (xsd:integer) |
| dbo:wikiPageLength | 22334 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1061210478 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:CADP dbc:Synchronization dbr:Gay-Lussac_Humboldt_Prize dbr:Model_checking dbr:Linux dbr:MacOS dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:SYNTAX dbc:Formal_specification_languages dbr:Windows dbr:Language_Of_Temporal_Ordering_Specification dbr:Linear_temporal_logic dbr:Rapid_application_development dbc:Concurrency_(computer_science) dbc:Concurrency_control dbc:Formal_methods dbc:Process_calculi dbc:Model_checkers dbr:Solaris_(operating_system) dbr:INRIA dbr:OpenIndiana dbr:Process_calculus dbr:Equivalence_checking dbr:Model_checker dbr:Concurrency_theory dbr:Process_algebra dbr:Computational_tree_logic dbr:Visual_checking |
| dbp:developer | INRIA CONVECS team (en) |
| dbp:genre | dbr:Model_checker |
| dbp:latestReleaseDate | 2020-12-13 (xsd:date) |
| dbp:latestReleaseVersion | 2020 (xsd:integer) |
| dbp:logo | cadp logo.gif (en) |
| dbp:operatingSystem | Windows, macOS, Linux, Solaris, and OpenIndiana (en) |
| dbp:wikiPageUsesTemplate | dbt:Infobox_software dbt:Reflist dbt:Start_date_and_age dbt:URL dbt:Release_year |
| dcterms:subject | dbc:Synchronization dbc:Formal_specification_languages dbc:Concurrency_(computer_science) dbc:Concurrency_control dbc:Formal_methods dbc:Process_calculi dbc:Model_checkers |
| gold:hypernym | dbr:Toolbox |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 |
| rdfs:comment | CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY 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. (en) |
| rdfs:label | Construction and Analysis of Distributed Processes (en) |
| owl:sameAs | freebase:Construction and Analysis of Distributed Processes wikidata:Construction and Analysis of Distributed Processes https://global.dbpedia.org/id/4iNrP |
| prov:wasDerivedFrom | wikipedia-en:Construction_and_Analysis_of_Distributed_Processes?oldid=1061210478&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/cadp_logo.gif |
| foaf:isPrimaryTopicOf | wikipedia-en:Construction_and_Analysis_of_Distributed_Processes |
| is dbo:wikiPageRedirects of | dbr:CADP dbr:Construction_and_analysis_of_distributed_processes |
| is dbo:wikiPageWikiLink of | dbr:CADP dbr:List_of_model_checking_tools dbr:Concurrency_(computer_science) dbr:Construction_and_analysis_of_distributed_processes |
| is foaf:primaryTopic of | wikipedia-en:Construction_and_Analysis_of_Distributed_Processes |
