Verification of deployed artifact systems via data abstraction