997 B
+++ date = 2025-06-07 draft = false title = 'CADP' subtitle = 'Model Checker' links = [ { title = "Homepage", url = "https://cadp.inria.fr/", icon = 'fa-solid fa-home' }, { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' }, # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } ] applications = ['Model Checker'] developers = ['INRIA Rocquencourt'] licenses = ['All Rights Reserved']
inputs = ['Sally']
interfaces = ['CLI']
maintenance = ['Actively Maintained']
techniques = ['CDCL']
publications = ['']
+++
{{}} CADP ("Construction and Analysis of Distributed Processes", formerly known as "CAESAR/ALDEBARAN Development Package") is a toolbox for the design of asynchronous concurrent systems, such as communication protocols, distributed systems, asynchronous circuits, multiprocessor architectures, web services, etc.