Verification of CTL_BDI Properties by Symbolic Model Checking.

Ran Chen, Wenhui Zhang

Browse the full APSEC paper archive.