Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Guardado en:

書目詳細資料
發表在:	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
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

成為第一個發表評論!