Series on Java Path Finder

For my class on Formal Methods I'm going to discuss the Partial Order Reduction algorithm that Java Path Finder uses.

I'm going to start explaining the algorithm and the source code that shows how this algorithm is implemented.