Parallel implementation of Java Pathfinder Project
- Mentors
- Alexander Kohan, Cyrille Artho
- Organization
- The Java Pathfinder Team
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.