Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.

Yang Zhao, Gianfranco Ciardo

Browse the full ATVA paper archive.