Distributed Model Checking : Experimental evaluation


This page explains the methodology of the experiments carried out to evaluate the distributed version of ProB.