Evaluation of SAT-based Bounded Model Checking of ACTL Properties.

Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang

Browse the full TASE paper archive.