[Javapathfinder-devel] Google Summer of Code 2008 project question

[Dhany <dd...@gm...>]

Hi,

I'm interested with your project posted for Google Summer of Code 2008.
I'd like to ask if any of the following 2 projects are still available:

Develop models of java.util.concurrent implementation to allow more
efficient model checking of programs that use these consructs. The
underlying mechanisms for this package use undocumented, platform dependent
classes that could be bypassed if the library modeling would take place at
the level of public constructs like Semaphore etc.

Create a visualization for JPF's statechart model checking extension. This
would create UML state machine diagrams out of JPF state machine models, and
animate traces of event sequences produced by the model checker


If so, what is the requirements from students ?
I know how to code in java. I also know the basic concept about
multi-threading, semaphore, deadlock, etc. But, I've never used
java.util.concurrent package or JPF before.

Thanks in advance.


Regards,

Dhany