[Javapathfinder-user] Using the MJI for java.nio.channels

[Markeloff, R. <Ric...@sp...>]

I'd like to use JPF to check an application that makes extensive use of
the classes in java.nio.channels. I'd like to use MJI to move this part
of the code from the JPF VM to the underlying VM. Has anyone done this
before? I'd be interested in hearing from anyone who has gone down this
road before.

Thanks,

Rich Markeloff

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=20
Richard Markeloff
SPARTA, Inc.
1911 N. Fort Myer Dr., Suite 1100
Arlington, VA 22209
=20
Voice: 703 647 2414
Fax:   703 558 3410