Many tools are connected to the CADP toolset or even developed using the programming interfaces provided by CADP (such as the generic environments BCG and OPEN/CAESAR for enumerative and on-the-fly verification). We give here a (non-exhaustive) list of such tools, most of which have led to scientific publications.
The meaning of the icons used below is the following:
: this page was recently added
: this page was recently updated
: members of the CADP team contributed to this tool development