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

[Willem V. <wv...@em...>]

Hi Sergey,

It has not yet been used to analyze the concurrency classes. This would
be very interesting I think. As for other big projects the two biggest
I'm aware of are a +-7KLOC rover executive here at Ames and a (much
bigger) enterprise software package from Fujitsu (described in a SoftMc
2005 paper).

Bye,
Willem

--
Willem C. Visser                 Automated Software Engineering Group
RIACS/NASA Ames Research Center            wv...@em...
M/S 269-2                                     http://ase.arc.nasa.gov
Moffett Field, CA 94035                (650)604-3515 fax 4036  rm 235


> -----Original Message-----
> From: jav...@li...
> [mailto:jav...@li...] On Behalf Of
> Sergey Kulikov
> Sent: Wednesday, May 17, 2006 8:22 AM
> To: jav...@li...
> Subject: [Javapathfinder-user] what has JPF been used on?
> 
> 
> 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
> 
> 
> -------------------------------------------------------
> Using Tomcat but need to do more? Need to support web services,
security?
> Get stuff done quickly with pre-integrated technology to make your job
> easier
> Download IBM WebSphere Application Server v.1.0.1 based on Apache
Geronimo
>
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user