[Javapathfinder-user] what has JPF been used on?

[Sergey K. <se...@cs...>]

Has JPF been ever used on detecting concurrency related bugs (deadlocks, 
race conditions) in the Java standard library classes? I'm refering to 
those classes that support concurrency.

What other big projects (apart from those at NASA) has JPF been used on. 
Any info/links would be appreciated.

thanks
sergey