Copper is a software model checker that can be used to verify whether a concurrent C program satisfies its safety, reliability, or security requirements. This release is intended primarily for those interested in model checking technology for C programs.

The URL for the Copper download will be emailed to the address you provide. Your email will not be shared with third parties and will only be used for statistical purposes, to send the download URL, and (as selected) to provide tool update information.

Version:	2.0 for Linux 2.0 for Windows
First Name:
Last Name:
Your Email:
Would you like to receive email about new releases and related tools (low traffic)?	Yes No
Organization:
Comments:
Enter text from image:
Terms of Use

and please submit my request.

Press to clear the form and start over.