Library-based scalable refinement checking for contract-based design.

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

Browse the full DATE paper archive.