[Javapathfinder-devel] GSoC

[<ca...@um...>]

Hi this is Carl Albach.  I wrote previously asking a few questions.  I've already 
submitted my application for the visualization of JPF's statechart model checking 
extension idea.  I'm very interested in the idea.  I just wanted to maybe refine the 
description on the application and find out a little more about the project.  If there 
is anything more you could tell me about it, that would be great.  Also, the project 
idea page mentions that it would rely on the JPF Listener API.  If you could point 
me in the direction of that API that would also be helpful.  Thanks a lot.

Carl Albach