Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.

Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Browse the full DATE paper archive.