FIGURE 1 Two-phase verification
FIGURE 2 Java-level debugging interface architecture
FIGURE 3 Debugger and KVM connections
Copyright © 2003 Sun Microsystems, Inc. All rights reserved.