Group colloquium: High-performance Model Checking — 10 years of LTSmin

When: July 12, 2018, 15:45-16:45

Where: HB 2A

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.

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	Group colloquium: High-performance Model Checking — 10 years of LTSmin When: July 12, 2018, 15:45-16:45 Where: HB 2A Who: Jaco 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.