An Experiment on Parallel Model Checking of a CTL Fragment.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Browse the full ATVA paper archive.