Abstract Cadp (Construction and Analysis of Distributed Processes) är en omfattande verktygslåda för programvara som implementerar resultaten av konvergensteorin. Med början i mitten av 1980-talet har Cadp kontinuerligt utvecklats genom att lägga till nya verktyg och förbättra befintliga verktyg. Idag drar Cadp nytta av en global användargemenskap, både inom akademin och industrin. I denna rapport presenteras det senaste offentliggörandet, Cadp 2011, som är resultatet av en betydande utvecklingssatsning som sträcker sig över de senaste fem åren. Papperet beskriver först de teoretiska principerna och den modulära arkitekturen hos Cadp, som har inspirerat flera andra modeller. I dokumentet granskas sedan huvuddragen i Cadp 2011, inklusive kompilatorer för olika formella specifikationsspråk, ekvivalenskontroller, modellkontroller, verktyg för kompositionskontroll, verktyg för utvärdering av prestanda och parallella verifieringsverktyg som körs på kluster och rutnät. Slutligen kartlägger tidningen några viktiga fallstudier.
3 CADP Toolbox CADP (Construction and Analysis of Distributed Processes) REF är en verktygslåda för modellering och verifiering av asynkrona system.
CADP 2011: a toolbox for the construction and analysis of distributed processes
{'venue': 'International Journal on Software Tools for Technology Transfer', 'journal': 'International Journal on Software Tools for Technology Transfer', 'mag_field_of_study': ['Computer Science']}