Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Gardado en:

Detalles Bibliográficos
Publicado en:	Technologies vol. 13, no. 12 (2025), p. 580-599
Autor Principal:	Muhammad Ahmad Ahmad
Outros autores:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Publicado:	MDPI AG
Materias:	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
Acceso en liña:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!