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

Digital Library

Software

Copper

  • Abstract

    Copper is a software model checker that can be used to verify whether a concurrent C program satisfies its safety, reliability, or security requirements.

  • Download Prototype

Software Information

Published by Software Engineering Institute

Get the Software