Efficient Multi-Core Model Checking

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

Publications

CUDA accelerated Probabilistic Model Checking

Under construction.

CUDA accelerated Transitive Reduction of Networks

Under construction.

Personal Publications

For a complete list of publications per team member, follow the links given on the team members page.