- Article
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic
- Ahmad Ahmad Muhammad,
- Mahitap Ayman,
- Samer A. Elhossany,
- Walaa Medhat,
- Sahar Selim,
- Hala Zayed,
- Ahmed H. Yousef,
- Axel Jantsch and
- Nahla Elaraby
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the ori...

