GHOST System Verification