Model Checking @CMU










Model Checking License Agreement

We have a sort of license agreement which we would like all users of the software to print out, sign, and return to us. The address to send it to is:

Edmund Clarke
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3890

The text of the agreement follows. We would also be very interested to hear a little bit about your application, if it is not proprietary.

License Agreement

We understand that the programs SMV, CSML, LTD, SMC and MCB ("the software") are supplied with no warranty. We agree that neither you nor Carnegie Mellon will be held responsible for the correctness of programs or circuits verified using the software.

The code of the software will not be transferred outside of our institution without your permission and will be used only for research purposes. In particular, we agree that the code will not be included as part of any commercial software package or product of this institution. This applies to both the source code and the object code.

However we will be entitled to adopt ideas or algorithms contained in the software into our own software and we are not limited in our own development of software in this area.

We will make no demands on you or your staff for maintenance and agree that neither you nor Carnegie Mellon University has any obligation to provide any maintenance or consulting help with respect to the software.

In the event that you should release successor versions of the software to us, we agree that they will also fall under all of these terms.

We will contact Edmund Clarke at CMU for release of the software, updates, and all administrative matters.

  CMU-SCS Model Checking home page

Please send any comments and suggestions to  Nishant Sinha - (nishants) at cs dot cmu dot edu.