PACC Starter Kit V2.0 Download Request

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. This is a Windows release.

The PSK is distributed as PKZIP, which includes a README.txt file. Please read this file for installation requirements, instructions, and known issues. Also note that latest versions of the required components may not support the PSK, so we recommend users install the versions included with the PSK installer.

The URL for the PACC Starter Kit download will be emailed to the address you provide. Your email will not be shared with third parties and will only be used for statistical purposes, to send the download URL, and (as selected) to provide tool update information.

First Name:
Last Name:
Your Email:
Would you like to receive email
about new releases and related tools
(low traffic)?
Enter text from image:

Terms of Use

and please submit my request.

Press to clear the form and start over.

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us


Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.