Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

محفوظ في:

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Technologies vol. 13, no. 12 (2025), p. 580-599
المؤلف الرئيسي:	Muhammad Ahmad Ahmad
مؤلفون آخرون:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
منشور في:	MDPI AG
الموضوعات:	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
الوصول للمادة أونلاين:	Citation/Abstract Full Text + Graphics Full Text - PDF
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

كن أول من يترك تعليقا!