SLIVer: Simulation-Based Logic Bomb Identification/Verification for Unmanned Aerial Vehicles