One of the major challenges faced when applying model checking is the state space explosion, due to which it becomes impossible to detect errors in many cases. The main aim of this project is to utilize multiple cores for state space exploration in order to achieve massive speedup.

Student

Manish Thakur

Mentors

  • Alexander Kohan
  • Cyrille Artho
close

2019