Efficient Multi-Core Model Checking

• Home
• Project Description
• Team Members
• Publications
• Software
• Contact

Project Description

Our project on Efficient Multi-Core Model Checking (acronym: e=(MC)²) aims at developing new algorithms for model checking (including probabilistic and stochastic model checking) that can exploit the parallelism of multi-core systems. We consider multi-core CPUs as well as many-core GPGPUs (CUDA) hardware architectures.

The project is funded funded by the Netherlands Organisation for Scientific Research (NWO, Vrije Competitie, Exacte Wetenschappen) under project number 612.063.816.

Please find more information in the original NWO project proposal.