Jul 12, 2018: Jaco van de Pol: High-performance Model Checking — 10 years of LTSmin

July 12, 2018High-performance Model Checking — 10 years of LTSmin
Room: HB 2AJaco van de Pol
We will provide an overview of the data structures and algorithms in the LTSmin
toolset, a high-performance model checker for explicit-state and symbolic model
checking. After a broad overview of LTSmin and its related research line, the
focus will be on multicore decision diagrams, and their application in reachability 
analysis, symbolic bisimulation minimisation, and solving parity games.