Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Sábháilte in:

Sonraí bibleagrafaíochta
Foilsithe in:	Technologies vol. 13, no. 12 (2025), p. 580-599
Príomhchruthaitheoir:	Muhammad Ahmad Ahmad
Rannpháirtithe:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Foilsithe / Cruthaithe:	MDPI AG
Ábhair:	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
Rochtain ar líne:	Citation/Abstract Full Text + Graphics Full Text - PDF
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Bí ar an gcéad duine le trácht a dhéanamh!