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
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Хамгийн түрүүнд сэтгэгдэл үлдээх!