PACC Downloads
The PACC Starter Kit] (PSK) is an integrated set of software development tools that demonstrates how existing technologies can be integrated to provide objective confidence in predictions of system behavior. The PSK includes a design language for describing components and their assemblies, a code generator, and a real-time execution environment. It also includes a collection of reasoning frameworks for predicting performance, behavior, memory, and security properties of systems built with the PSK.
Download the PACC Starter Kit Now
Copper is a sofware model checker for concurrent message-passing C programs. It can be used to analyze whether a program will satisfy its safety, reliablity, or security requirements.