CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming.

Lingyun Situ, Lingzhong Zhao

Browse the full APSEC paper archive.