Can Saturation be parallelised? on the parallelisation of a symbolic state-space generator (2006)

by J Ezekiel, G Lüttgen, R Siminiceanu
Venue:In International Workshop on Parallel and Distributed Methods of Verification (PDMC