Assignment 3

Verify your Java implementation. Use tools like, for example,

Labelled Transition System Analyzer,
Concurrency Workbench of the New Century
Java PathFinder and
Extended Static Checking for Java (see also here).

(other tools may be added soon) 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.