أرسل هذا في رسالة قصيرة: Formal Verification of Transcompiled Mobile Applications Using First-Order Logic