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