User Assisted Verification of Non-Repudiation and Similar Properties