MCMC: Multi-Core Model Checking

Further information: http://fmt.cs.utwente.nl/projects/MCMC/