Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Đã lưu trong:

Chi tiết về thư mục
Xuất bản năm:	Technologies vol. 13, no. 12 (2025), p. 580-599
Tác giả chính:	Muhammad Ahmad Ahmad
Tác giả khác:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
Được phát hành:	MDPI AG
Những chủ đề:	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
Truy cập trực tuyến:	Citation/Abstract Full Text + Graphics Full Text - PDF
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Là người đầu tiên ghi lời nhận xét!