Alfons Laarman
Multi-Core Model Checking
VCLA will be hosting a RiSE seminar talk by Alfons Laarman on November 14th, 2013.
| DATE: | Thursday, November 14, 2013 |
| TIME: | 17:00 |
| VENUE: | Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard) |
ABSTRACT
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.
