Oct 03, 2017: Jaco van de Pol: Distributed Binary Decision Diagrams for Model Checking

October 03, 2017Distributed Binary Decision Diagrams for Model Checking
Room: Hal B 2BJaco van de Pol
12:30-13:30
I will give a high-level introduction on model checking with LTSmin, Then I will focus on one
technique, symbolic model checking, which is based on Binary Decision Diagrams. 
Finally, I will present a distributed implementation of Binary Decision Diagrams 
and present some experiments. 
This research won the best-paper award at SPIN 2017.