Follow this link for the 12.04 ceniit project on Software Model Checking in the Multicore Era.