Caesar/Aldebaran tools for the verification of concurrent systems.
This software is copyrighted and is to be used for internal use only.
CADP folder
CADP website