Symbolic assume-guarantee reasoning through BDD learning.

Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu

Browse the full ICSE paper archive.