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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Software

Copper

  • May 2007
  • Copper is a software model checker that can be used to verify whether a concurrent C program satisfies its safety, reliability, or security requirements.
  • Predictability by Construction
  • Publisher: Software Engineering Institute
  • 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