Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Copper Download Request

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)?
Enter text from image:

Terms of Use

and please submit my request.

Press to clear the form and start over.