Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Enregistré dans:

Détails bibliographiques
Publié dans:	Technologies vol. 13, no. 12 (2025), p. 580-599
Auteur principal:	Muhammad Ahmad Ahmad
Autres auteurs:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Publié:	MDPI AG
Sujets:	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 ligne:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Soyez le premier à ajouter un commentaire!