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
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

প্রথমজন হিসাবে মন্তব্য করুন!