Transparent partial order Reduction
The goal of the internship is to implement the transparent partial order reduction you can find in the file attached. With this technique you will be able to perform model-checking with more complex properties than deadlock. I'm also interested to compare the relative performances of this techniques on other reduction techniques than ample-set.
-
Finish the integration of your techniques and run a bench to compare. -
Read the paper -
Ensure there is no technical issues with the PINS interface