Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

I tiakina i:

Ngā taipitopito rārangi puna kōrero
I whakaputaina i:	Technologies vol. 13, no. 12 (2025), p. 580-599
Kaituhi matua:	Muhammad Ahmad Ahmad
Ētahi atu kaituhi:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
I whakaputaina:	MDPI AG
Ngā marau:	Behavior Software Similarity Java Programming languages Semantics Bias Verification Large language models Syntax Applications programs Logic Equivalence Axioms Mobile computing Codes Software reuse Evaluation Case studies Computer programming
Urunga tuihono:	Citation/Abstract Full Text + Graphics Full Text - PDF
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Me noho koe te mea tuatahi ki te waiho tākupu!