Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Guardado en:

Detalles Bibliográficos
Publicado en:	Technologies vol. 13, no. 12 (2025), p. 580-599
Autor principal:	Muhammad Ahmad Ahmad
Otros 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 línea:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!