Multi-Core Model Checking
VCLA will be hosting a RiSE seminar talk by Alfons Laarman on November 14th, 2013.
|DATE:||Thursday, November 14, 2013|
|VENUE:||Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)|
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. The areas that will be covered include: reachability, LTL model checking, partial-order reduction, timed automata and state compression.