The following table has links for downloading the experimental subjects from "Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning" by Jamieson M. Cobleigh, Lori A. Clarke, and George S. Avrunin. Each link leads to a compressed tar archive containing the properties, source code, and information about the generalized decompositions used for each subject in our experiments.

System FLAVERS LTSA
Chiron download download
Gas Station download download
Peterson download download
Relay download download
Smokers download download

If you have any questions, please e-mail:

   jcobleig@cs.umass.edu