Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Guardat en:

Dades bibliogràfiques
Publicat a:	Technologies vol. 13, no. 12 (2025), p. 580-599
Autor principal:	Muhammad Ahmad Ahmad
Altres autors:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Publicat:	MDPI AG
Matèries:	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
Accés en línia:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Sigues el primer a deixar un comentari!