[Javapathfinder-devel] Net-iocache Extension

[Watcharin L. <wat...@us...>]

Hello,

My name is Watcharin. I am a developer of the newly added JPF
extension "net-iocache". Net-iocache is an extension for verifying
networked applications. JPF executes one of the processes in an
application, whereas the others run on the standard Java virtual
machine. Net-iocache captures inputs/outputs of the target program and
replays them when the program needs again after backtracking. The
algorithm to be run in Net-iocache is presented in

C. Artho, W. Leungwattanakit, M. Hagiya, and Y. Tanabe. Efficient
model checking of networked applications. In Proc. TOOLS EUROPE 2008,
volume 19 of LNBIP, pages 22–40, Zurich, Switzerland, 2008.  Springer.

For any information or to report problems, please contact:
Watcharin Leungwattanakit: wat...@is...

Regards,
Watcharin Leungwattanakit