Nov 05, 2013: Alfons Laarman: Multi-Core Model Checking

November 05, 2013Multi-Core Model Checking
Room: HalB 2FAlfons Laarman

This talk is about about the parallelization of the model checking procedure on modern multi-core machines, a problem I have been working on for the past 4 years. I will give an overview of the progress we made, and point out some interesting open problems.