CTL Model Checking in the Cloud Using MapReduce.

Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga

Browse the full SYNASC paper archive.