May 30, 2017: Janina Torbecke: Optimizing Programs for Certain Parallel Architectures

May 30, 2017Optimizing Programs for Certain Parallel Architectures
Room: Hal B 2BJanina Torbecke

Model Checking is often limited due to state space explosion. Whenever a generated state space does not fit into a machine’s working memory and no reduction methods can be applied, a possible solution is to distribute the computation among multiple machines. However, there are several issues that come with this “solution”.
In this presentation I will talk about different distribution methods, their advantages and disadvantages and the approach I follow in my research.