Hi John:

In Los Angeles you mentioned that you have a program to instrument
Java programs so that their execution generates enough info that
Rapide (POV) can analyse and check the corresponding posets.

Please can you tell me how we can download this Java instrumentation program?
I did not not see it on your site.

I assume that the Partial Order Viewer will be able to analyze the output
produced by the instrumented Java programs. Is this correct?

-- Karl