Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Bewaard in:

Bibliografische gegevens
Gepubliceerd in:	Technologies vol. 13, no. 12 (2025), p. 580-599
Hoofdauteur:	Muhammad Ahmad Ahmad
Andere auteurs:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Gepubliceerd in:	MDPI AG
Onderwerpen:	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
Online toegang:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Wees de eerste die reageert!