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
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.

Comments are closed.