[Javapathfinder-devel] need user testimonials

[Peter M. <Pet...@na...>]

JPF has been nominated as a candidate for the NASA software of the  
year award, which would help us a lot with the things we have in mind  
for JPF's future. In order to make the next hurdle, we have to provide  
user testimonials (that are used NASA internally). If you feel  
inclined to do so, please send an informal paragraph or two to my  
email address, which is

   <pet...@na...>

Thanks for supporting your (hopefully) favorite swiss army knife for  
Java verification

-- Peter