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.
Copper is a software model checker for concurrent message-passing C programs. It can be used to analyze whether a program will satisfy its safety, reliability, or security requirements.