Formal Verification of Transcompiled Mobile Applications Using First-Order Logic - Muhammad Ahmad Ahmad (Technologies, 2025)