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.

If you have any questions, please e-mail: