Assignment 4

Verify your Java implementation. Use Java Pathfinder to verify your implementation. You may also want to consider minor variations on your implementation (showing, for example, that a particular lock is essential to guarantee deadlock freedom). Write a report that discusses your verification effort.