VCS: A Verifier for Component-Based Systems.

Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Browse the full ATVA paper archive.