An Experiment on Parallel Model Checking of a CTL Fragment

Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu

We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm t…