CADP Current Status


What is CADP?
Home Page Tools Overview Current Status
Installation
How to obtain CADP? Usage Statistics Issues & Patches
Documentation
Tutorials Publications Manual Pages Demo Examples FAQ
CADP Newsletters
Nr. 1 - Dec. 1996 Nr. 2 - Jun. 1997 Nr. 3 - Sep. 1997 Nr. 4 - Jan. 1999 Nr. 5 - Jul. 2001 Nr. 6 - Apr. 2007
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLTS Benchmarks Other Resources
About CADP
Contributors

The CADP software runs on the following systems:

Sun stations (Sparc processors) running Solaris 10 (32- or 64-bit mode)
with a C compiler (such as Sun Studio "cc" compiler or the GNU "gcc")
and the Ghostview software
Sun stations (Intel processors) running Solaris 10 (32- or 64-bit mode)
with a C compiler (such as Sun Studio "cc" compiler or the GNU "gcc")
and the Ghostview software
PC (Intel/AMD x86 processors) running 32-bit Linux
PC (Intel/AMD x64/x86-64 processors) running 64-bit Linux
Itanium (Intel ia64 processors) running 64-bit Linux
PC computers (Intel/AMD x86 or x64 processors) running Windows 2000, XP, Vista, or Seven (32-bit or 64-bit mode)
with the Cygwin and Ghostscript/Gsview software installed (details)
Mac computers (PowerPC processors) running Mac OS X 10.4 or higher
with the X11 and Ghostscript/Gsview software installed (details)
Mac computers (Intel x86 or x64 processors) running Mac OS X 10.4 (32- or 64-bit mode) or higher
with the X11 and Ghostscript/Gsview software installed (details)

The latest stable version is CADP 2006 "Edinburgh".

An updated version CADP 2006-a with minor fixes was released on July 26, 2007.

See the CADP Web Page to learn about recent beta-versions. They can be obtained upon request to cadp@inria.fr.

The VASY team is actively working on the next releases of CADP, notably in the framework of our current research projects.

Version 1.21 last updated on 11/11/24 14:44:47