Counterexample-Guided Abstraction Refinement for Component-Based Systems.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Browse the full COMPSAC paper archive.