Xuan-Linh Ha

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The main challenge in model checking is the state space explosion. With developments in hardware today, most processors have many cores inside. To leverage on the advances in hardware, we can increase the performance of verifying large models by designing parallel algorithms to run efficiently on multi-core architecture. This work focuses on this problem in(More)
  • 1