Formula-Dependent Abstraction for CTL Model Checking.

Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu

Browse the full ICCSA paper archive.